GNU bug report logs

#76989 Link to pushed commits from issue pages

Package	Source(s)		Maintainer(s)
mumi		PTS Buildd Popcon

Reported by Arun Isaac <arunisaac@systemreboot.net>
Date 2025-03-13T01:07:02
Severity normal

Reply or subscribe to this bug. View this bug as an mbox, status mbox, or maintainer mbox

Report forwarded to bug-mumi@gnu.org:
bug#76989; Package mumi. (Thu, 13 Mar 2025 01:07:02 GMT) (full text, mbox, link).

Acknowledgement sent to Arun Isaac <arunisaac@systemreboot.net>:
New bug report received and forwarded. Copy sent to bug-mumi@gnu.org. (Thu, 13 Mar 2025 01:07:02 GMT) (full text, mbox, link).

Message #5 received at submit@debbugs.gnu.org (full text, mbox, reply):

Forges typically link to the commit that was finally pushed. mumi should
do the same. This is important because committers often don't note the
final commit hash and contributors are left grepping through the git
log.

Despite mumi's weak coupling to the git repository, it is actually
possible to implement this feature thanks to the Change-Id trailer in
Guix commit messages.

Display info messages

Send a report that this bug log contains spam.

debbugs.gnu.org maintainers <help-debbugs@gnu.org>. Last modified: Wed Apr 16 02:43:54 2025; Machine Name: wallace-server

GNU bug tracking system

Debbugs is free software and licensed under the terms of the GNU Public License version 2. The current version can be obtained from https://bugs.debian.org/debbugs-source/.