Description

erlend-aasland

opened on Jun 10, 2024

Issue body actions

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.

Reacted by Alex Waygood, Shantanu, Lysandros Nikolaou and Stan Ulbrych

Activity

1. erlend-aasland

   added

   bot

   on Jun 10, 2024
2. erlend-aasland commented on Jun 10, 2024

   

   erlend-aasland

   on Jun 10, 2024

   Author

   More actions

   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 ↩
3. AA-Turner commented on Aug 12, 2025

   

   AA-Turner

   on Aug 12, 2025

   Member

   More actions

   Closing, stale.
4. AA-Turner

   closed this as completedon Aug 12, 2025
5. erlend-aasland commented on Sep 18, 2025

   

   erlend-aasland

   on Sep 18, 2025

   Author

   More actions

   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.

   Reacted by Stan Ulbrych, Gregory P. Smith, Zachary Ware and Hugo van Kemenade
6. erlend-aasland

   reopened this on Sep 18, 2025
7. merwok commented on Nov 18, 2025

   

   merwok

   on Nov 18, 2025

   Member

   More actions

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

   Reacted by Gregory P. Smith and Erlend E. Aasland
8. gpshead commented on Nov 19, 2025

   

   gpshead

   on Nov 19, 2025

   Member

   More actions

   yep, discord supports webhooks. ideal for this.

Issue actions