Hi,
Igorj Gorjaĉev via "Development of GNU Guix and the GNU System distribution." <[email protected]> writes: > Ludovic Courtès <[email protected]> writes: > >> >> https://pulls.ci.gnu.org/pull-requests > > This URL seems to be unreachable. Is it just for me or everyone? As was mentioned in one of the previous e-mails in this thread, this was a mistake. The one and only url is https://pulls.ci.guix.gnu.org/pull-requests. But it currently ends up with 502. :( Rutherther
