diff options
| author |  jesopo | 2019-09-04 11:15:36 +0100 |
|---|---|---|
| committer | jesopo | 2019-09-04 11:15:59 +0100 |
| commit | 786117b998a6e0905491f2e6c6f1be32370145d3 (patch) | |
| tree | 2e6e21d7057d124d27a7a818c9ee337a19e4056f /src | |
| parent | Force removal of ":" from user_time.py API-provided ISO8601 (diff) | |
| signature | ||
add a bot-wide setting to allow showing git webhook activity for private repos
closes #127
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions