xmo-odoo 85ac2e5d5e [IMP] runbot_merge: map PR commits to integrated commits ... * when rebasing, store a map of rebased to source, that way it'll be possible to link cherry-picked forward ports to the originally integrated commit rather than just the one from the PR (which was likely not itself integrated as the straight merge mode is somewhat rare: as of 5600 PRs merged so far only 100 were straight merged) * while at it, store the "merge head" of the PR (whether squashed, merged or rebased) and put *that* in the commit message fixes #161		2019-07-31 09:19:39 +02:00
..
__init__.py	[ADD] runbot_merge: a merge bot	2018-09-03 13:16:36 +02:00
pull_requests.py	[IMP] runbot_merge: map PR commits to integrated commits	2019-07-31 09:19:39 +02:00
res_partner.py	[IMP] runbot_merge: don't quote signoff	2019-03-04 13:17:10 +01:00