jesopo b75fc02c4b Add comment to clarify why we ignore 1-letter-nicks in _prevent_highlight		2019-05-14 11:01:31 +01:00
..
__init__.py	Add comment to clarify why we ignore 1-letter-nicks in _prevent_highlight	2019-05-14 11:01:31 +01:00
ghwebhook.md	pr-all also shows when there are new commits to a pull request (github)	2019-01-21 17:25:13 +00:00