Skip to content

Release: develop -> main - #35

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
develop
Open

Release: develop -> main#35
github-actions[bot] wants to merge 1 commit into
mainfrom
develop

Conversation

@github-actions

Copy link
Copy Markdown

Automatic Release PR

This PR was automatically created after changes were pushed to develop.
It is the only path from develop onto main for this repository.
Merging it publishes the production image tag and is a human decision.
Do not merge until develop has been checked on the development hub.

Commits: 1 new commit(s)

Checklist

  • Review all changes
  • Verify CI passes
  • Approve and merge when ready for production

* Restore the signed-in pull-request table on the hub website.

* Drop a failed GitHub token only if it is still the stored one.

* Delete a failed OAuth token only when the stored value still matches.

* Open a new sqlite handle when proving the PR table survives a restart.

---------

Co-authored-by: TaprootFreakAI <315477232+TaprootFreakAI@users.noreply.github.com>
@TaprootFreak
TaprootFreak marked this pull request as ready for review August 26, 2026 06:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant