diff options
| author |  laundmo <[email protected]> | 2021-04-13 15:54:03 +0200 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2021-04-13 15:54:03 +0200 |
| commit | ccdf1c9efc273f2945baed90008ab3fdd73a53a1 (patch) | |
| tree | 88aaa8309b022ff3d2877f930d1df07d572abf9a /bot/exts/evergreen/ping.py | |
| parent | Merge pull request #674 from rijusougata13/main (diff) | |
Update issue matching regex
fixes it being unable to get issue numbers larger than 9
limits it somewhat length-wise and character-wise to the actual github limits
Diffstat (limited to 'bot/exts/evergreen/ping.py')
0 files changed, 0 insertions, 0 deletions