Is your feature request related to a problem? Please describe.
We have an auto merge bot that merges master into PRs as well as master into dev, and I absolutely love that we don't have to do all this manual work anymore. However, especially when the amount of open PRs grows to over a dozen, every push to master creates dozens of merge commit messages, all authored by github-actions[bot] user. This is very messy and drowns out all conversations in the room.
For example (the actual list of merges is much longer, this is just the top):
Describe the solution you'd like
The ability to filter out commits by certain users to avoid spam.
Even better, the ability to redirect commits by certain users to another channel.
Describe alternatives you've considered
I haven't been able to figure out a solution here. Currently, we're subscribed to the whole org (which includes existing and future repos) like this:
Is your feature request related to a problem? Please describe. We have an auto merge bot that merges master into PRs as well as master into dev, and I absolutely love that we don't have to do all this manual work anymore. However, especially when the amount of open PRs grows to over a dozen, every push to master creates dozens of merge commit messages, all authored by github-actions[bot] user. This is very messy and drowns out all conversations in the room.
For example (the actual list of merges is much longer, this is just the top):
Describe the solution you'd like
Describe alternatives you've considered I haven't been able to figure out a solution here. Currently, we're subscribed to the whole org (which includes existing and future repos) like this:
If I remove
commits:"*"
, we will stop seeing commits by all other users as well.Any ideas, or maybe this could be implemented if it's not yet supported?