diff options
| author |  jesopo | 2019-09-24 15:39:31 +0100 |
|---|---|---|
| committer | jesopo | 2019-09-24 15:39:31 +0100 |
| commit | f59b161fbd2f160c722605a163e68db755568d63 (patch) | |
| tree | 72d2c623d3975c74e2c7afdcfabac536b86d5181 /modules/git_webhooks/github.py | |
| parent | support "$$" as "$" in ban-format (diff) | |
use ban-format for mute masks
Diffstat (limited to 'modules/git_webhooks/github.py')
0 files changed, 0 insertions, 0 deletions