Xavier Morel 6096cc61a9 [IMP] *: tag all rebased commits with source PRev ... Although it's possible to find what PR a commit was part of with a bit of `git log` magic (e.g. `--ancestry-path COMMIT.. --reverse`) it's not the most convenient, and many people don't know about it, leading them to various debatable decisions to try and mitigate the issue, such as tagging every commit in a PR with the PR's identity, which then leads github to spam the PR itself with pingbacks from its own commits. Which is great. Add this information to the commits when rebasing them (and *only* when rebasing them), using a `Part-of:` pseudo-header. Fixes #482		2021-08-24 15:39:47 +02:00
..
__init__.py	[ADD] runbot_merge: a merge bot	2018-09-03 13:16:36 +02:00
pull_requests.py	[IMP] *: tag all rebased commits with source PRev	2021-08-24 15:39:47 +02:00
res_partner.py	[IMP] runbot_merge: overridable CI	2020-11-20 07:41:54 +01:00