Re: Alternative syntax for interacting with the store monad

2025-01-20 Thread Maxim Cournoyer
Hi Simon, Simon Tournier writes: > Hi Maxim, > > On Fri, 03 Jan 2025 at 00:04, Maxim Cournoyer > wrote: > >> (I sometimes dabble with >> the monad, and the reason I don't do it more often at the REPL is partly >> because I need to retrain myself how

Re: [bug#75145] [PATCH v2 0/1] services: network-manager: Add extra-configuration-files field.

2025-01-20 Thread Maxim Cournoyer
Hi 45mg, 45mg <45mg.wri...@gmail.com> writes: [...] > Thanks, good to know. Will try to keep that in mind. I do wish there was > something I could do to get things moving faster, but I guess this is a > limitation of projects that run on (primarily) unpaid volunteer work :/ As mentioned by Rica

Re: Cgit disabled on Savannah

2025-01-20 Thread Jordan Moore
Hi guix, I'll toss it out there that rwp on #savannah mentioned that automated use of savannah git should use the smart git anon interface if possible, eg. making a dumb git crawler might be a long term solution to get the bootstrap artifacts to survive outages like this. To work around the cu

Re: Cgit disabled on Savannah

2025-01-20 Thread Munyoki Kilyungi
Ludovic Courtès aliandika: > Hello, > > In case you haven’t seen it, cgit is disabled (permanently?) on > Savannah: > > https://hostux.social/@fsfstatus/113845788160755310 > > Ludo’. > Also, downloading the git installer from git craps out. See: --8<---cut here---start

Re: Cgit disabled on Savannah

2025-01-20 Thread Development of GNU Guix and the GNU System distribution.
Hi, On Mon, Jan 20, 2025 at 09:04 PM, Munyoki Kilyungi wrote: > Ludovic Courtès aliandika: > >> Hello, >> >> In case you haven’t seen it, cgit is disabled (permanently?) on >> Savannah: >> >> https://hostux.social/@fsfstatus/113845788160755310 >> >> Ludo’. >> That's disappointing; I found it

Cgit disabled on Savannah

2025-01-20 Thread Ludovic Courtès
Hello, In case you haven’t seen it, cgit is disabled (permanently?) on Savannah: https://hostux.social/@fsfstatus/113845788160755310 Ludo’.