GNU bug report logs - #61645
[PATCH mumi 0/1] Add CLI client to search for issues

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ricardo Wurmus <rekado <at> elephly.net>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#61645: closed ([PATCH mumi 0/1] Add CLI client to search for
 issues)
Date: Thu, 30 Mar 2023 21:59:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Thu, 30 Mar 2023 23:57:50 +0200
with message-id <877cuxdhql.fsf <at> elephly.net>
and subject line Re: bug#61645: [PATCH mumi 0/1] Add CLI client to search for issues
has caused the debbugs.gnu.org bug report #61645,
regarding [PATCH mumi 0/1] Add CLI client to search for issues
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
61645: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=61645
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Arun Isaac <arunisaac <at> systemreboot.net>
To: guix-patches <at> gnu.org
Cc: Ricardo Wurmus <rekado <at> elephly.net>,
 Arun Isaac <arunisaac <at> systemreboot.net>
Subject: [PATCH mumi 0/1] Add CLI client to search for issues
Date: Mon, 20 Feb 2023 01:38:21 +0000

Hi Ricardo,

This patch adds a mumi CLI client that lets one search for issues from
the command line by calling mumi's GraphQL API. This patch requires a
.mumi/config file in the guix repo with the following contents.

--8<---------------cut here---------------start------------->8---
((debbugs-host . "debbugs.gnu.org")
 (patch-email-address . "guix-patches <at> gnu.org")
 (mumi-host . "issues.guix.gnu.org"))
--8<---------------cut here---------------end--------------->8---

After adding .mumi/config, you can run search queries like

$ /path/to/mumi/pre-inst-env mumi search zig is:open

This is only the beginning. I have WIP patches that will add a "mumi
send-email" subcommand that will finally free us from our debbugs
dance when sending multiple patches. I will send them separately once
I have tested it more.

Regards,
Arun

Arun Isaac (1):
  client: Add CLI client to search for issues.

 Makefile.am     |   1 +
 mumi/client.scm | 108 ++++++++++++++++++++++++++++++++++++++++++++++++
 scripts/mumi.in |   8 +++-
 3 files changed, 116 insertions(+), 1 deletion(-)
 create mode 100644 mumi/client.scm

-- 
2.38.1

[Message part 3 (message/rfc822, inline)]

From: Ricardo Wurmus <rekado <at> elephly.net>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: Arun Isaac <arunisaac <at> systemreboot.net>, 61645-done <at> debbugs.gnu.org
Subject: Re: bug#61645: [PATCH mumi 0/1] Add CLI client to search for issues
Date: Thu, 30 Mar 2023 23:57:50 +0200

Ricardo Wurmus <rekado <at> elephly.net> writes:

> I have applied the patches locally, but ever since I moved
> git.elephly.net to gitile on the rockpro64 I haven’t been able to push
> to my repos.  I hadn’t been able to make any time to diagnose this
> problem as yet.  (Probably related to nginx rewrite rules.)

Fixed and pushed.

-- 
Ricardo

Previous Next

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