diff options
| author |  jesopo | 2019-05-17 10:14:49 +0100 |
|---|---|---|
| committer | jesopo | 2019-05-17 10:14:49 +0100 |
| commit | f3d9fbb21668d9f02ebab985ff91601324c38656 (patch) | |
| tree | afd9f23095c170565932707019fc546d34d40323 /modules/admin.py | |
| parent | Use github-default-repo to fill in org when org is missing but repo isn't (diff) | |
| signature | ||
Actually assume the provided "org" is the repo when repo isn't provided
Diffstat (limited to 'modules/admin.py')
0 files changed, 0 insertions, 0 deletions