Skip to content

Add an option for muting GitHub merge queue internal operations - #40

Merged
russss merged 1 commit into
irccloud:masterfrom
lukegb:ssssh-github-merge-queues
Mar 29, 2026
Merged

Add an option for muting GitHub merge queue internal operations#40
russss merged 1 commit into
irccloud:masterfrom
lukegb:ssssh-github-merge-queues

Conversation

@lukegb

@lukegb lukegb commented Mar 28, 2026

Copy link
Copy Markdown
Contributor

When using GitHub merge queues, GitHub still sends push webhooks for the internal branches that are used, which can be quite spammy.

Add an option for dropping these events on the floor, because they're spammy and not useful.

Note that this also silences check suite results - this might not be desired, because it can be useful to know when the merge queue's check has failed since this will probably block the PR from merging.

When using [GitHub merge
queues](https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue),
GitHub still sends `push` webhooks for the internal branches that are
used, which can be quite spammy.

Add an option for dropping these events on the floor, because they're
spammy and not useful.

Note that this also silences check suite results - this might not be
desired, because it can be useful to know when the merge queue's check
has failed since this will probably block the PR from merging.
@lukegb
lukegb force-pushed the ssssh-github-merge-queues branch from a562d2b to d39e0dc Compare March 29, 2026 01:25
@russss
russss merged commit 092193d into irccloud:master Mar 29, 2026
1 check passed
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