Generate notifications if PRs are merged without review
Suggesting to create a new Discord channel #github-push-without-review and enhance the bot(s) to generate posts for PRs that are merged without review.
Related ideas[^1]:
- generate notifications for PRs that touch code (tests excluded?) and are labelled with
skip-issue - generate notifications for PRs with large diffs (generated files excluded)
[^1]: we can create separate issues for these if they seem interesting enough
Closing, stale.
I still think we should consider this. I can help move this forward, but I need someone to help me get started with bot hacking.
I think you need to
- create the channel manually
- get into some admin dashboard to create a webhook configured to post into that channel
- send a POST request with a message: https://github.com/python/buildmaster-config/pull/535/files#diff-2cd6017ac3282602901e72065afa3899460144408f623174861b6f5ea66e2db5R66-R82
(I know there used to be a discord python library to make this easier (and support markup and other rich content) but last I heard about it, it was difficult to maintain it because of discord’s actions hostile to third-party automations.)
yep, discord supports webhooks. ideal for this.