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

Previous Next

Full log

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.

Previous Next

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