runbot/runbot_merge/models
2020-02-11 14:20:32 +01:00
..
__init__.py [ADD] runbot_merge: a merge bot 2018-09-03 13:16:36 +02:00
pull_requests.py [ADD] runbot_merge: substitution filter on PR labels 2020-02-11 14:20:32 +01:00
res_partner.py [FIX] runbot_merge: make github_login case insensitive 2020-02-11 09:17:52 +01:00