Cayetano Santos <csant...@inventati.org> writes: >>ven. 01 août 2025 at 15:02, Maxim Cournoyer <ma...@guixotic.coop> wrote: > >> Hello, >> >> I'm proposing to remove the automatically added Change-Id git trailers >> to our commit messages, for reasons explained in the commit message of >> the commit at <https://codeberg.org/guix/guix/pulls/1740>. In a >> nutshell, Codeberg makes these mostly irrelevant, and it's one less >> annoyance to deal with when authoring commit messages. >> >> Thoughts? > > What is the standard procedure in codeberg land to travel from a commit > to its corresponding pr ? Same for the other way round.
I do not believe there is a way to do that in our model when the changes are merged manually due to GPG signing. At least I see no built-in way to get from the commit[0] to the PR[1] nor the other way around. You can search the pull requests for the value of the Change-Id trailer though. ^_^ 0: https://codeberg.org/guix/guix/commit/aac00dd014da9c3342cf95f59fab28aedab94546 1: https://codeberg.org/guix/guix/pulls/1744/ -- There are only two hard things in Computer Science: cache invalidation, naming things and off-by-one errors.
