Xavier Morel 629e00a117 [IMP] runbot_merge: add related PRs to top comment ... Discussing #238 with @odony, the main concern was the difficulty of understanding if things merged in one repo were related to things merged in an other repo: currently, knowing this requires going to the merged PR, getting its label, and checking the PRs with the same HEAD in the other repository to see if there's a correlation (e.g. PRs merged around the same time). The current structure of the mergebot makes it reasonably easy to add the other PRs of the batch in the pseudo-headers, such that we get links to all "related" PRs in the head commit (and links back from the commits which is probably less useful but...) Fixes #238		2019-11-22 09:21:40 +01:00
..
__init__.py	[ADD] runbot_merge: a merge bot	2018-09-03 13:16:36 +02:00
pull_requests.py	[IMP] runbot_merge: add related PRs to top comment	2019-11-22 09:21:40 +01:00
res_partner.py	[IMP] runbot_merge: don't quote signoff	2019-03-04 13:17:10 +01:00