diff options
| author |  jesopo | 2019-01-10 13:11:35 +0000 |
|---|---|---|
| committer | jesopo | 2019-01-10 13:11:35 +0000 |
| commit | 86810290f796d23097aec948ab6138b27a5a4b6d (patch) | |
| tree | 2f62e46750032c0e152a3e749847ab789a43dfc5 /modules/admin.py | |
| parent | copypaste fail, `event["args_split"][0]` -> `ref` (github.py) (diff) | |
rpartition (instead of partition) #number for github issues/pull, so that we
don't have to specify "#" when we're got a default repo (github.py)
Diffstat (limited to 'modules/admin.py')
0 files changed, 0 insertions, 0 deletions