Xavier Morel 2eb4ece50a [FIX] forwardport: title-ing of PRs ... Due to the title formatting of FP PRs, we'd get incorrectly formatted commit messages if the PR was *merged* (rather than squashed / fast-forwarded) due to either "merge" or "rebase-merge" integration mode: in that case the PR message would be used as message for the merge commit and that'd be along the lines of "Forward Port of #xxx to <somebranch> (failed)", followed by the old PR message (e.g. see this commit message). * re-extract and reuse original PR title, just prefix with "[FW]" * finally add support for tagging, and use that to tag the PRs, especially for the failed / conflict marker which is quite important Closes #229		2019-10-11 13:05:36 +02:00
..
__init__.py	[ADD] forwardbot	2019-09-05 10:00:07 +02:00
forwardport.py	[FIX] forwardport: queue reliability changes	2019-10-11 09:13:55 +02:00
project.py	[FIX] forwardport: title-ing of PRs	2019-10-11 13:05:36 +02:00