Take for example
[the "ci: use a newer
`github-script` version" patch that avoids warnings in CI runs about using deprecated Actions/node.js versions
](https://lore.kernel.org/git/[email protected]/): That mail contains the information in the footer from which PR it originated (in this example,
[`gitgitgadget/git#1387`](https://github.com/gitgitgadget/git/pull/1387)). That PR receives labels depending on the contribution process:
`seen` if it was integrated into the daily hodgepodge branch of Git,
`next` once the contribution advanced to the "let's cook this for a bit" stage, and
`master` once the contribution has been slated for the next official Git version.
0 commit comments