diff options
| author |  jesopo | 2019-01-23 08:50:14 +0000 |
|---|---|---|
| committer | jesopo | 2019-01-23 08:51:01 +0000 |
| commit | fcbb530b9e7794b9b712076adaec1e209e79af65 (patch) | |
| tree | 5fc891db482b4400997bff6507affcfb38391cfa /src/Config.py | |
| parent | Disable coin interest by default (coins.py) (diff) | |
Don't throw an exception when we get the kind of format of `ref` the `create`
event gives (only repo name, not `"refs/head/repo"`) (github)
Diffstat (limited to 'src/Config.py')
0 files changed, 0 insertions, 0 deletions