GNU bug report logs - #77534
[PATCH 0/1] Add mumi CLI client configuration

Previous Next

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

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

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

From: Arun Isaac <arunisaac <at> systemreboot.net>
To: bug-guile <at> gnu.org
Cc: Arun Isaac <arunisaac <at> systemreboot.net>,
 Ludovic Courtès <ludo <at> gnu.org>
Subject: [PATCH 0/1] Add mumi CLI client configuration
Date: Fri,  4 Apr 2025 17:04:44 +0100

The mumi instance at issues.guix.gnu.org recently started indexing guile
issues. This is already available for use via the web interface at
https://issues.guix.gnu.org/guile

In addition, we should support use of the mumi CLI client. This patch
adds mumi CLI client configuration to the guile repository. This will
allow us to use the mumi CLI client as documented in the Guix manual at
https://guix.gnu.org/manual/devel/en/html_node/Debbugs-User-Interfaces.html#index-mumi-command_002dline-interface

Thanks!

Arun Isaac (1):
  Add mumi config.

 .gitignore   | 1 +
 .mumi/config | 3 +++
 2 files changed, 4 insertions(+)
 create mode 100644 .mumi/config

-- 
2.48.1

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

From: Arun Isaac <arunisaac <at> systemreboot.net>
To: 77534 <at> debbugs.gnu.org
Cc: Arun Isaac <arunisaac <at> systemreboot.net>,
 Ludovic Courtès <ludo <at> gnu.org>
Subject: [PATCH 1/1] Add mumi config.
Date: Fri,  4 Apr 2025 17:08:56 +0100

* .mumi/config: New file.
* .gitignore: Add .mumi/current-issue.
---
 .gitignore   | 1 +
 .mumi/config | 3 +++
 2 files changed, 4 insertions(+)
 create mode 100644 .mumi/config

diff --git a/.gitignore b/.gitignore
index 0dbca7366..5ea0179ba 100644
--- a/.gitignore
+++ b/.gitignore
@@ -152,3 +152,4 @@ INSTALL
 /test-suite/standalone/test-smob-mark
 /test-suite/standalone/test-smob-mark-race
 /test-suite/standalone/test-srfi-4
+.mumi/current-issue
diff --git a/.mumi/config b/.mumi/config
new file mode 100644
index 000000000..c5a59c774
--- /dev/null
+++ b/.mumi/config
@@ -0,0 +1,3 @@
+((debbugs-host . "debbugs.gnu.org")
+ (patch-email-address . "bug-guile <at> gnu.org")
+ (mumi-host . "issues.guix.gnu.org"))
-- 
2.48.1

Previous Next

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