Skip to content

policyserver: hold incoming policy server requests until the bot finishes loading#63

Merged
tulir merged 2 commits into
mainfrom
timedout/defer-policyserver
Jul 3, 2026
Merged

policyserver: hold incoming policy server requests until the bot finishes loading#63
tulir merged 2 commits into
mainfrom
timedout/defer-policyserver

Conversation

@timedoutuk

Copy link
Copy Markdown
Collaborator

Checklist

@timedoutuk timedoutuk requested a review from tulir July 2, 2026 17:05
@tulir tulir merged commit c07a9aa into main Jul 3, 2026
11 checks passed
@tulir tulir deleted the timedout/defer-policyserver branch July 3, 2026 22:01
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.

2 participants