Xavier Morel d9661064d6 [FIX runbot_merge: prevent reopening a merged PR ... Fixes #305		2020-02-11 08:07:57 +01:00
..
__init__.py	[FIX runbot_merge: prevent reopening a merged PR	2020-02-11 08:07:57 +01:00
dashboard.py	[ADD] runbot_merge: staging history per branch	2019-08-21 14:15:10 +02:00
reviewer_provisioning.py	[ADD] runbot_merge: automatic reviewer de-provisioning	2020-01-24 13:28:18 +01:00