diff options
| author |  jesopo | 2020-02-17 11:39:09 +0000 |
|---|---|---|
| committer | jesopo | 2020-02-17 11:39:09 +0000 |
| commit | df2240204dc4077f849170a6dd7a14f7306b682f (patch) | |
| tree | a333359757d3163c2c64a577797f7b864eaa0d86 /src | |
| parent | support wildcards/masks for !ban, !unban and !kickban (diff) | |
| signature | ||
github PR events should use `["sender]["login"]`, not PR author
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions