Re: emacs-guix (upstream) needs more love: a survey of repositories, homepage and issues

2022-04-27 Thread Ryan Prior
On Wednesday, April 27th, 2022 at 2:01 PM, John Soo  wrote:

> Hi Gio!
>
> I am very sorry I have let it slip.

No worries! I am planning this weekend to try out the fixes in 55013 (and try 
building from upstream savannah; I didn't realize that was different from what 
we have in guix) and this weekend to see if we can get something working "out 
of the box."

We appreciate your work on getting emacs-guix back into shape!

Cheers,
Ryan

Re: Donation of used Softiron Overdrive 1000

2022-04-27 Thread Reza Housseini


On 4/27/22 14:38, Mathieu Othacehe wrote:

Hello Julien and Reza,

Thanks for the donation! We already have two Overdrive 1000 connected to
the build farm behind ci.guix.gnu.org (overdrive1 and dover
machines). Adding an extra one, and have it hosted at your place Julien
would be great :).

You can then follow the procedure described here:
https://git.savannah.gnu.org/cgit/guix/maintenance.git/tree/doc/cuirass.org,
to add it to the build farm. I will be happy to help you, if needed at
that time.

Mathieu



Great!

Do you send me your address Julien, then I will buy the machine today.



OpenPGP_0xC375C6AF05125C52.asc
Description: OpenPGP public key


OpenPGP_signature
Description: OpenPGP digital signature


Re: emacs-guix (upstream) needs more love: a survey of repositories, homepage and issues

2022-04-27 Thread John Soo
Hi Gio!

I am very sorry I have let it slip. If there are patches I need to get to, I 
can put them in to emacs-guix. I believe we should get the savannah version up 
to snuff and use that as the one in guix.

My apologies again. I may be able to look into it this weekend if that's 
alright.

Kindly,

John



emacs-guix (upstream) needs more love: a survey of repositories, homepage and issues

2022-04-27 Thread Giovanni Biscuolo
Hi all!

Executive summary: we should agree with Alex Kost to continue
development on the one and only one official package repo, web page
/and/ bug report (and dismiss the old ones, converting them read-only of
necessary, with a note on the old pages) system because we now have two
/diverging/ packages with the very same name and two (three?) different
bug reporting platforms... and that's very confusing.

AFAIU since 2021-01-11 [1] the new official home of emacs-guix is on
Savannah as a Guix sub-project [2]; Alex Kost agreed [3] and told us
that:

--8<---cut here---start->8---

 As for me, I will continue to use my version of Emacs-Guix and to adjust
 it for my needs.

--8<---cut here---end--->8---

and that's what he is doing (see below), so now "officially" we have
/two/ packages named emacs-guix: the official one at Savannah and the
"personal" one maintained by Alex.

The official version is hosted here:

  https://git.savannah.gnu.org/cgit/guix/emacs-guix.git

but this is /not/ what is packaged in Guix now: we are packaging the
"personal" Alex version since 2021-05-01 (commit 57681f1640) since I've
done my little research (grepping for emacs-guix in commit message) and
found this changes in the URL of the origin (list in reverse timeline
order):

* 399e3ee7b7 (gnu: emacs-guix: Update to 0.5.2.5-c9aef52.) dated Thu Aug
  26 21:52:49 2021 (current) contains this diff:

--8<---cut here---start->8---

 (uri (git-reference
-  ;; TODO: Use the official version when it has a new home
-  (url "https://github.com/alezost/guix.el;)
+  (url "https://gitlab.com/emacs-guix/emacs-guix.git;)

--8<---cut here---end--->8---

* 57681f1640 (gnu: emacs-guix: Update to 0.5.2-4.8ce6d21.) dated Sat May
  1 15:56:41 2021 contains this diff:

--8<---cut here---start->8---

   ;; TODO: Use the official version when it has a new home
-  (url "https://github.com/jsoo1/guix.el;)
+  (url "https://github.com/alezost/guix.el;)

--8<---cut here---end--->8---

* f98e3adcd5 (gnu: emacs-guix: Update to 0.5.2.3-a694fdb.) dated Sat Dec
  12 20:56:46 2020 contains this diff:

--8<---cut here---start->8---

-  (url "https://gitlab.com/emacs-guix/emacs-guix;)
+  ;; TODO: Use the official version when it has a new home
+  (url "https://github.com/jsoo1/guix.el;)

--8<---cut here---end--->8---

Looking at the commit log summary on the web, the officlal and Alex
repositories have diverged meanwhile, with different commits on both;
the official one have two new commits from you Ludo' (that's why I'm
directly messaging you Ludo'... you (and others) are probably using the
official version /not/ installed from Guix upstream ;-) ).

Also, the official (personal ?) web site for emacs-guix is
https://emacs-guix.gitlab.io/website/; in the home page we read: «Source
code of Emacs-Guix: https://gitlab.com/emacs-guix/emacs-guix»

Also, the "official" (personal ?) home page references to MELPA as one
of the install method, and on MELPA we have https://melpa.org/#/guix
referencing

  
https://github.com/alezost/guix.el/tree/c9aef52121b458297e70bb50f49f7276b4a8d759

for the source code.  Fortunately the GitLab and GitHub remotes are kept
in sync (by Alex I guess) so we non not have a third repo :-)

Also, "official" web page contains a manual
https://emacs-guix.gitlab.io/website/manual/latest/emacs-guix.html
that is /not/ obtained using the official repo (AFAIU the manual still
have the same content, anyway)

Also, the "personal" issues (/and/ merge requests) are here:
https://gitlab.com/emacs-guix/emacs-guix/-/issues /and/ here:
https://github.com/alezost/guix.el/issues and...

...they are not (obviously) in sync, so users now have to search on tho
different platforms (three considering guix-devel) for past _upstream_
bug reports; AFAIK we don't even have an official bug reporting mailing
list on gnu.org (is it supposed to be guix-bugs?)

So now we have an official emacs-guix on Savannah (lacking an official
web page and a bug-report mailing list) and the "personal" version of
emacs-guix on a different "personal" reporitory hosted on two remotes:
one on GitLab, referenced in the home page, and one on GitHub,
referenced in the MELPA project page.

IMHO we should definitely fix this situation.

Thanks!  Gio'


[1] Message id:871rer5xxv@asu.edu

[2] Message id:87bldu43ta@asu.edu (same thread of the above message)

[3] Message id:87v9cum99w@gmail.com

-- 
Giovanni Biscuolo

Xelera IT Infrastructures


signature.asc
Description: PGP signature


Re: Donation of used Softiron Overdrive 1000

2022-04-27 Thread Mathieu Othacehe


Hello Julien and Reza,

Thanks for the donation! We already have two Overdrive 1000 connected to
the build farm behind ci.guix.gnu.org (overdrive1 and dover
machines). Adding an extra one, and have it hosted at your place Julien
would be great :).

You can then follow the procedure described here:
https://git.savannah.gnu.org/cgit/guix/maintenance.git/tree/doc/cuirass.org,
to add it to the build farm. I will be happy to help you, if needed at
that time.

Mathieu



Re: Donation of used Softiron Overdrive 1000

2022-04-27 Thread Julien Lepiller
I'd wait for the maintainers to say whether they are interested. If so, I'm 
happy to host the machine unless the maintainers prefer not to let me :)

Thanks for the donation offer btw!

On April 27, 2022 10:43:03 AM GMT+02:00, Reza Housseini 
 wrote:
>
>On 4/27/22 10:13, Julien Lepiller wrote:
>> I used to host one of them (or was it another kind of overdrive?). Now that 
>> I moved to a new place where I should stay for a while, I should be able 
>> host one again, if needed :)
>> 
>> My German is not too great. Does it come with disks and USB cable? What's 
>> its condition overall? Will it die after a few weeks? :D
>> 
>> On April 27, 2022 9:03:36 AM GMT+02:00, Reza Housseini 
>>  wrote:
>> 
>> Hi Guixers,
>> 
>> 
>> I'd like to donate this used machine [1] to the guix project. Is there 
>> any interest and when yes can I advice the seller to send the machine 
>> directly to the build farm hoster?
>> 
>> Thanks for the great project.
>> 
>> 
>> Kind regards,
>> 
>> Reza
>> 
>> 
>> 
>> [1]https://www.ebay-kleinanzeigen.de/s-anzeige/softiron-overdrive-1000-arm64-aarch64-developer-kit/1952849632-228-7046
>> 
>
>Hi Julien
>
>The seller said it is in excellent condition. It has an 1TB HDD included, but 
>about the cables I am not sure.
>
>Can I advice the seller to send it to you then?
>
>Cheers,
>
>Reza
>


Re: Updating mumi on berlin

2022-04-27 Thread Arun Isaac


Hi zimoun,

> The update of Mumi adds a GraphQL thing to issues.guix.gnu.org, IIUC.

Yes, with the update, Mumi will have a GraphQL API. GraphQL APIs are
more flexible than traditional REST APIs. See https://graphql.org/ for
more.

At some point, I plan to add support for identifying a message just by
its Message-ID. IIRC, zimoun requested this feature once. With this, I
hope to write a simple 'mumi send-email' program or similar, that will
let us send a patchset to mumi all in one go without inadvertently
opening multiple issues.

Cheers,
Arun



Re: Donation of used Softiron Overdrive 1000

2022-04-27 Thread Reza Housseini


On 4/27/22 10:13, Julien Lepiller wrote:
I used to host one of them (or was it another kind of overdrive?). Now 
that I moved to a new place where I should stay for a while, I should 
be able host one again, if needed :)


My German is not too great. Does it come with disks and USB cable? 
What's its condition overall? Will it die after a few weeks? :D


On April 27, 2022 9:03:36 AM GMT+02:00, Reza Housseini 
 wrote:


Hi Guixers,


I'd like to donate this used machine [1] to the guix project. Is there any 
interest and when yes can I advice the seller to send the machine directly to 
the build farm hoster?

Thanks for the great project.


Kind regards,

Reza



[1]https://www.ebay-kleinanzeigen.de/s-anzeige/softiron-overdrive-1000-arm64-aarch64-developer-kit/1952849632-228-7046



Hi Julien

The seller said it is in excellent condition. It has an 1TB HDD 
included, but about the cables I am not sure.


Can I advice the seller to send it to you then?

Cheers,

Reza



OpenPGP_0xC375C6AF05125C52.asc
Description: OpenPGP public key


OpenPGP_signature
Description: OpenPGP digital signature


Re: Donation of used Softiron Overdrive 1000

2022-04-27 Thread Julien Lepiller
I used to host one of them (or was it another kind of overdrive?). Now that I 
moved to a new place where I should stay for a while, I should be able host one 
again, if needed :)

My German is not too great. Does it come with disks and USB cable? What's its 
condition overall? Will it die after a few weeks? :D

On April 27, 2022 9:03:36 AM GMT+02:00, Reza Housseini 
 wrote:
>
>Hi Guixers,
>
>
>I'd like to donate this used machine [1] to the guix project. Is there any 
>interest and when yes can I advice the seller to send the machine directly to 
>the build farm hoster?
>
>Thanks for the great project.
>
>
>Kind regards,
>
>Reza
>
>
>[1] 
>https://www.ebay-kleinanzeigen.de/s-anzeige/softiron-overdrive-1000-arm64-aarch64-developer-kit/1952849632-228-7046
>


Donation of used Softiron Overdrive 1000

2022-04-27 Thread Reza Housseini


Hi Guixers,


I'd like to donate this used machine [1] to the guix project. Is there 
any interest and when yes can I advice the seller to send the machine 
directly to the build farm hoster?


Thanks for the great project.


Kind regards,

Reza


[1] 
https://www.ebay-kleinanzeigen.de/s-anzeige/softiron-overdrive-1000-arm64-aarch64-developer-kit/1952849632-228-7046




OpenPGP_0xC375C6AF05125C52.asc
Description: OpenPGP public key


OpenPGP_signature
Description: OpenPGP digital signature


Re: Updating mumi on berlin

2022-04-27 Thread zimoun
Hi,

On Fri, 22 Apr 2022 at 11:08, Arun Isaac  wrote:

> I would like to update the mumi running on berlin to the latest
> version.

The update of Mumi adds a GraphQL thing to issues.guix.gnu.org, IIUC.
Quoting Ricardo from #guix-hpc [1].

--8<---cut here---start->8---
 mumi’s API is very limited  [20:53]
 but Arun has recently added a graphql thing
 for example, you can write this query to a file “req”:  [21:01]
 {"query": "query { issues(search: \"tag:easy\") { title tags open
 submitter { name address } } }" }
 and then do: curl --data-binary @req
 https://issues.guix.gnu.org/graphql | jq  [21:02]
 that’ll return a JSON response formatted as the query prescribes,
 containing all issues that match the given search string “tag:easy”.
--8<---cut here---end--->8---

Therefore, such update of Mumi looks very promising. :-)

Thanks Arun for working on that.


>  I spoke to Ricardo off-list and he tells me that there are
> issues running `guix system reconfigure' on the server. Are there any
> updates on that?

What are the blockers (issues) for updating the server (Berlin and/or
Bayfront)?


Cheers,
simon


1: