jesopo 93b455d5b8 Don't double-shorten push range urls		2019-07-02 07:31:26 +01:00
..
__init__.py
colors.py
gitea.py
github.py	Don't double-shorten push range urls	2019-07-02 07:31:26 +01:00