Xavier Morel 6df9a68af2 [CHG] runbot_merge: treat github reviews as regular comments ... Treating them specially turns out to be inconvenient: it becomes harder/riskier to ask for informal reviews (for which GH reviews are useful).		2018-09-25 14:05:41 +02:00
..
__init__.py	[CHG] runbot_merge: treat github reviews as regular comments	2018-09-25 14:05:41 +02:00
dashboard.py	[FIX] runbot_merge: handling of PRs of >50 commits	2018-09-20 15:28:55 +02:00