search

projg2 / pram

PRam: simple bash tool to merge pull requests
GNU General Public License v2.0
9 stars 4 forks source link

Add 'PR:' or 'Reference:' to all commits from a pull request #7

Open thesamesam opened 1 year ago

thesamesam commented 1 year ago

Projects which don't use merge commits (and we never do in Gentoo) can't map a commit to a merged PR unless it was the final commit in a series.

This has been a problem when say, destabilising lots of packages on ppc, and then someone asks a while later for the rationale. Adding Bug: isn't always appropriate here either because our hook gets overwhelmed if there's many commits and it'll spam the bug.

I think we should probably add PR: or Reference: citing the relevant PR to each commit as a trailer.

mgorny commented 1 year ago

Makes sense but let's go for verbose Pull-Request:.