Re: mumi web server bugs [was "`mumi send-email' means no more debbugs dance to send multiple patches"]

2023-04-26 Thread Arun Isaac
Hi Andreas, > When I start it, it runs on 0.0.0.0, port 1.2.3.4; should it not choose > a sensible default, such as localhost and 8080? I agree. A patch setting the defaults to localhost and 8080 is welcome. Would you like to give it a shot? If not, could you register these in our bug tracker

Re: `mumi send-email' means no more debbugs dance to send multiple patches

2023-04-26 Thread Arun Isaac
Hi John, > I just tried it out and it worked smoothly for sending 2 patches to an > existing bug. However, it was sent only directly to the bug address, > not being aware I guess of anyone that had submitted or since been > CC'ed to the thread. > > Is there anything we can do here? I learned

Re: `mumi send-email' means no more debbugs dance to send multiple patches

2023-04-26 Thread Arun Isaac
Hi Josselin, > My mails usually take less that 30 seconds to get a reply from debbugs. > I don't remember how long it took yesterday for the issue to appear on > mumi though, but more than the 15 retries of mumi send-email (I manually > checked). Could you link to the specific email message

Re: `mumi send-email' means no more debbugs dance to send multiple patches

2023-04-26 Thread Arun Isaac
> This could be changed. We don’t need to wait for the email to arrive on > the mumi server; could we ask debbugs directly for the email? (If we > can’t ask for the mail we could ask for newest bugs and check if that > contains the email.) `mumi send-email' polls mumi's /msg-id endpoint to

[PATCH] gnu: guitarix: Update to 0.44.1.

2023-04-26 Thread John Kehayias
Hi Felix, On Wed, Apr 26, 2023 at 02:57 PM, Felix Lechner via \"Development of GNU Guix and the GNU System distribution.\" wrote: > Hi, > > With a recent checkout of Guix, guitarix fails to build from source. > It may be a Python issue. A pertinent excerpt of the log is below. > > Without a

Guitarix FTBFS

2023-04-26 Thread Development of GNU Guix and the GNU System distribution.
Hi, With a recent checkout of Guix, guitarix fails to build from source. It may be a Python issue. A pertinent excerpt of the log is below. Without a patch ready, I wasn't sure where and how to file this report. Thanks! Kind regards Felix * * * [ 477/1048] Compiling

Re: `mumi send-email' means no more debbugs dance to send multiple patches

2023-04-26 Thread John Kehayias
Hi Arun, On Mon, Apr 24, 2023 at 04:12 PM, Arun Isaac wrote: > Hi all, > > mumi, the software powering our debbugs frontend at > , now also comes with a command-line > interface. At the moment, the new command-line interface allows > searching for issues, and

Greater bug specifics for automatic team assignment

2023-04-26 Thread Development of GNU Guix and the GNU System distribution.
Hi, As a corollary to the upcoming teams approach, should we tag bugs in Debbugs so that their respective teams can find them? Kind regards Felix

Re: Emacs next variants

2023-04-26 Thread Mekeor Melire
2023-03-10 16:39 zimon.touto...@gmail.com: As far I know, this branch does not contain the feature Tree-sitter. Instead, the feature Tree-sitter is in the branch "master", which will be branched later as Emacs 30 and somehow will be the next next release of Emacs. 2023-03-12 12:47

Re: Blog post on the Full-Source Bootstrap

2023-04-26 Thread Tobias Platen
This looks good, I am interested in doing a port to the POWER ISA. Currently on my OrangeCrab I only have one small C program running, coldboot. Everything from the HDL to the BIOS should be Full-Source. https://git.libre-soc.org/?p=ls2.git;a=blob;f=coldboot/coldboot.c Tobias On Wed,

Blog post on the Full-Source Bootstrap

2023-04-26 Thread Janneke Nieuwenhuizen
Hello Guix! Now that core-updates has been merged, the Full-Source Bootstrap has come to Guix! This means we're building packages from source all the way down. Read all about it in this new post:

Re: `mumi send-email' means no more debbugs dance to send multiple patches

2023-04-26 Thread Andreas Enge
Hello Arun, this looks all very nice, thanks a lot! I have a few "bug reports" about "mumi web". When I start it, it runs on 0.0.0.0, port 1.2.3.4; should it not choose a sensible default, such as localhost and 8080? Running mumi web --address=localhost --port=8080 complains that it does not