Generate notifications if PRs are merged without review

[erlend-aasland]

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.

[erlend-aasland]

Related ideas¹:

• 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)

Footnotes

1. we can create separate issues for these if they seem interesting enough ↩

[AA-Turner]

Closing, stale.

[erlend-aasland]

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.

[merwok]

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.)

[gpshead]

yep, discord supports webhooks. ideal for this.