Closed mergify[bot] closed 11 months ago
After thinking about this more, I'm not entirely convinced we want to do this in Humble. While it does suppress the spam, it also substantially changes the messages being output by Humble. While that isn't expressly disallowed by our API/ABI policy, I do think it will be a surprise for users. So possibly we shouldn't do this in Humble, I'm not sure. @ahcorde thoughts here?
After discussing this at the Waffle meeting, we decided that this change in behavior was OK. I'll go ahead and merge this, but @ahcorde if you have another opinion please feel free to leave it here.
This is an automatic backport of pull request #529 done by Mergify.
Mergify commands and options
More conditions and actions can be found in the [documentation](https://docs.mergify.com/). You can also trigger Mergify actions by commenting on this pull request: - `@Mergifyio refresh` will re-evaluate the rules - `@Mergifyio rebase` will rebase this PR on its base branch - `@Mergifyio update` will merge the base branch into this PR - `@Mergifyio backport