GNU bug report logs - #76989
Link to pushed commits from issue pages

Previous Next

Package: mumi;

Reported by: Arun Isaac <arunisaac <at> systemreboot.net>

Date: Thu, 13 Mar 2025 01:07:02 UTC

Severity: normal

To reply to this bug, email your comments to 76989 AT debbugs.gnu.org.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to bug-mumi <at> gnu.org:
bug#76989; Package mumi. (Thu, 13 Mar 2025 01:07:02 GMT) Full text and rfc822 format available.
Acknowledgement sent to Arun Isaac <arunisaac <at> systemreboot.net>:
New bug report received and forwarded. Copy sent to bug-mumi <at> gnu.org. (Thu, 13 Mar 2025 01:07:02 GMT) Full text and rfc822 format available.

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

From: Arun Isaac <arunisaac <at> systemreboot.net>
To: bug-mumi <at> gnu.org
Subject: Link to pushed commits from issue pages
Date: Thu, 13 Mar 2025 01:05:36 +0000

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.
This bug report was last modified 31 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.