8 Sep
2020
8 Sep
'20
3:47 p.m.
pt-tool indicates the destination branch, while github focuses on the source branch. Is there a point in trying to have a more consistent way of referring to the pull request ID and the branches involved?
It was a choice I made early on but not for any particular good reason. I don't really see a point in changing anything as the information about the source branch on Github is not particularly useful.
We have automated tooling (ceph-release-notes, backport-resolve-issue) that try to parse the PR merge commit messages. Having multiple formats does make that job more difficult than it could be if only one format were used. Nathan