Xavier Morel 47428a4580 [IMP] runbot_merge: only label PR if not created merged/closed ... Would generate a ton of GH API churn when synchronising.		2018-09-03 13:16:36 +02:00
..
__init__.py	[ADD] runbot_merge: a merge bot	2018-09-03 13:16:36 +02:00
pull_requests.py	[IMP] runbot_merge: only label PR if not created merged/closed	2018-09-03 13:16:36 +02:00
res_partner.py	[ADD] runbot_merge: a merge bot	2018-09-03 13:16:36 +02:00