diff options
| author |  jesopo | 2019-07-16 16:58:40 +0100 |
|---|---|---|
| committer | jesopo | 2019-07-16 16:58:40 +0100 |
| commit | bdc4164e0514765d1e03de360e8d9a36e3b06b4c (patch) | |
| tree | 008f45c59e7395deeac0df7bd4187c064a8fbae9 /modules/git_webhooks/github.py | |
| parent | allow @<nameserver> arg to be anywhere in !dns command (diff) | |
put a 4-second lifetime timeout on dns requests
Diffstat (limited to 'modules/git_webhooks/github.py')
0 files changed, 0 insertions, 0 deletions