Hi, Rutherther <[email protected]> skribis:
>>While we’re at it, I would also like us to settle on the use of a >>“Merges” trailer, as in: >> >> Merges: guix/guix#123 [...] > Agreed; however there is still this issue with PRs with multiple > commits, what to do in such cases? I just add “Merges” on the tip of the pull request. Then, indeed, one cannot distinguish between a commit that just happened to not be the tip of a PR, and a commit that went through without PR. But I think we should ensure change has gone through a pull request now. > I think we should also document Fixes/Closes, encouraging commiters and > contributors to use these both in commit messages and PR bodies. Yup! Ludo’.
