5 commits

Author	SHA1	Message	Date
Linus Groh	4d697855ea	Meta: Use author username for pull request IRC notifications ... Just 'github.actor' may or may not be the actual PR author, but especially since action runs have to be approved for first-time contributors, it's been giving us a lot of incorrect results.	2021-04-30 23:11:12 +02:00
Brendan Coles	666aeecaa2	Meta: Resolve some pylint violations in Python lint scripts ... Resolves: * all: consider-using-sys-exit * all: wrong-import-order * all: TODO: Require that a few keys are set? (fixme) * some: missing-function-docstring * some: line-too-long	2021-04-02 23:07:58 +02:00
Ben Wiederhake	ec36388f40	Meta: Reduce IRC spam ... Fixes #4145.	2020-11-25 20:50:22 +01:00
Ben Wiederhake	c4933f9bd7	Meta: Fix IRC notification script ... What a silly mistake. How did I manage to do that?	2020-11-14 17:14:45 +01:00
Ben Wiederhake	ef9ac8a8a2	Meta: Use SerenityBot for IRC notifications ... This avoids "useless" join/part notifications.	2020-11-14 15:30:29 +01:00

Renamed from Meta/mangle_event_for_irc.py (Browse further)