jesopo 24df8c996e Show commit message, not PR title, for PR pushes		2019-06-26 15:13:01 +01:00
..
__init__.py
colors.py
gitea.py
github.py	Show commit message, not PR title, for PR pushes	2019-06-26 15:13:01 +01:00