Skip to content

Instantly share code, notes, and snippets.

@rkitover
Last active March 24, 2025 18:15
Show Gist options
  • Save rkitover/3b1c1b6f3b1a81d04d765eec6ddb2a20 to your computer and use it in GitHub Desktop.
Save rkitover/3b1c1b6f3b1a81d04d765eec6ddb2a20 to your computer and use it in GitHub Desktop.
Remove edits and labels from GitHub Supybot plugin.
--- /home/rkitover/source/repos/Supybot-plugins/GitHub/plugin.py 2025-03-16 05:44:13.177020502 +0000
+++ plugin.py 2025-03-24 16:41:12.939045476 +0000
@@ -205,6 +205,10 @@
bold = ircutils.bold
format_ = ''
+
+ if payload['action'] in ['labeled','edited']:
+ return
+
if event == 'pull_request' and payload['action'] == 'closed' \
and payload['pull_request']['merged']:
# it's just confusing to call a merged PR "closed", so we
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment