Mariatta

The second PR number is autogenerated by GitHub. Before clicking Squash and Merge, we have the opportunity to remove the second PR number. In devguide there is a recommendation to...

Closing as won'tfix. This is already handled correctly by automerge. If anything, perhaps Devguide can be improved.

I've created https://github.com/python/devguide/issues/518

Sorry! I re-read the issue again, and I've misunderstood it the first time. > The only case currently where there are two PR numbers is in the commit title for...

This is one of such mention about keeping the "original PR number" instead of the "Backport PR number": https://github.com/python/bedevere/issues/14#issuecomment-399357644 I think there was prior discussion about that but I couldn't...

In backport.py we try to locate the original PR number: https://github.com/python/bedevere/blob/e80b3bc6f1bc1137fa642caf29aa4bda63d4854c/bedevere/backport.py#L59 We need to make sure that it will still work if the original PR number is in the bottom...

[GitMate.io](https://gitmate.io) thinks possibly related issues are https://github.com/python/devguide/issues/6 (Update devguide style to use a similar theme as Docs), https://github.com/python/devguide/issues/116 (Update Devguide about building documentation.), https://github.com/python/devguide/issues/300 (devguide was last updated at None.),...

[GitMate.io](https://gitmate.io) thinks possibly related issues are https://github.com/python/miss-islington/issues/7 (Trigger the backport by leaving comments to miss-islington), https://github.com/python/core-workflow/issues/243 (Assign the failed PR to be backported to the core dev who merged it),...

Hi, I'm [GitMate.io](https://gitmate.io)! It seems you've just enabled the issue triaging. I'm just scraping all issues from your repository and will give you some more information about this in a...

[GitMate.io](https://gitmate.io) thinks possibly related issues are https://github.com/python/core-workflow/issues/96 (Add a bot to notify people when their PR has a merge conflict), https://github.com/python/core-workflow/issues/243 (Assign the failed PR to be backported to the...