Hi, I'd like to see if we can build consensus on the removal of the Change-Id git trailer, as proposed in <https://codeberg.org/guix/guix/pulls/1740> (and hinted at in GCD-003).
For context, the Change-Id hook was initially added so that we could eventually have a system with Mumi where we it could scan for issues to close automatically if a PR commit(s) Change-Ids had already been added to the tree. This hasn't materialized, and now that we are on Codeberg, we're still carrying the mildly annoying Change-Ids as a legacy, which get in the way when amending commit messages. They provide some value in that you can search Codeberg for a Change-Id to find the PR in which it was reviewed/merged, but I doubt many of us are using this on a regular basis (?). I'd also propose that if this is important to us we should look into baking it in a git commit header instead [0], which would both be more robust and remove the commit message clutter. Any thoughts? [0] some related discussion: <https://lore.kernel.org/git/[email protected]/T/#m2e6a57d8aeefd3146c7632e89dc36e2a0a8f68ba> -- Thanks, Maxim
