Skip to content

bots: support maintenance option#6558

Merged
epoberezkin merged 3 commits intomasterfrom
ep/dir-maint-2
Jan 20, 2026
Merged

bots: support maintenance option#6558
epoberezkin merged 3 commits intomasterfrom
ep/dir-maint-2

Conversation

@epoberezkin
Copy link
Copy Markdown
Member

No description provided.

@epoberezkin epoberezkin merged commit 89964bf into master Jan 20, 2026
3 of 11 checks passed
@epoberezkin epoberezkin deleted the ep/dir-maint-2 branch January 20, 2026 13:28
@github-actions github-actions bot locked and limited conversation to collaborators Jan 20, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant