Re: guix pull: 502/Bad Gateway for savannah.gnu.org

2017-04-20 Thread ng0
Björn Höfling transcribed 0.8K bytes:
> Hi,
> 
> I just tried a guix pull and got this error:
> 
> bjoern@g64 ~$ guix pull
> 
> Starting download of /tmp/guix-file.QxbCPt
> From
> https://git.savannah.gnu.org/cgit/guix.git/snapshot/master.tar.gz...
> ERROR: download failed
> "https://git.savannah.gnu.org/cgit/guix.git/snapshot/master.tar.gz"; 502
> "Bad Gateway" failed to download "/tmp/guix-file.QxbCPt" from
> "https://git.savannah.gnu.org/cgit/guix.git/snapshot/master.tar.gz";
> guix pull: error: failed to download up-to-date source, exiting
> 
> 
> I get this also when trying to clone the git repository:
> 
> git clone https://git.savannah.gnu.org/git/guix.git
> 
> Cloning into 'guix'...
> fatal: unable to access 'https://git.savannah.gnu.org/git/guix.git/':
> The requested URL returned error: 502
> 
> Do you have any idea? Is this temporary, or do I have to reconfigure
> something?
> 
> Thanks,
> 
> Björn
> 

Yeah, it's unfortunate.
No, all of savannah git is down right now, every project. We have to wait until
someone in Boston fixes this.
-- 
PGP and more: https://people.pragmatique.xyz/ng0/



Re: guix pull: 502/Bad Gateway for savannah.gnu.org

2017-04-20 Thread Ludovic Courtès
ng0  skribis:

> Björn Höfling transcribed 0.8K bytes:
>> Hi,
>> 
>> I just tried a guix pull and got this error:
>> 
>> bjoern@g64 ~$ guix pull
>> 
>> Starting download of /tmp/guix-file.QxbCPt
>> From
>> https://git.savannah.gnu.org/cgit/guix.git/snapshot/master.tar.gz...
>> ERROR: download failed
>> "https://git.savannah.gnu.org/cgit/guix.git/snapshot/master.tar.gz"; 502
>> "Bad Gateway" failed to download "/tmp/guix-file.QxbCPt" from
>> "https://git.savannah.gnu.org/cgit/guix.git/snapshot/master.tar.gz";
>> guix pull: error: failed to download up-to-date source, exiting
>> 
>> 
>> I get this also when trying to clone the git repository:
>> 
>> git clone https://git.savannah.gnu.org/git/guix.git
>> 
>> Cloning into 'guix'...
>> fatal: unable to access 'https://git.savannah.gnu.org/git/guix.git/':
>> The requested URL returned error: 502
>> 
>> Do you have any idea? Is this temporary, or do I have to reconfigure
>> something?
>> 
>> Thanks,
>> 
>> Björn
>> 
>
> Yeah, it's unfortunate.
> No, all of savannah git is down right now, every project. We have to wait 
> until
> someone in Boston fixes this.

Boston woke up and this was fixed earlier today.  :-)

Ludo’.



Re: guix pull: 502/Bad Gateway for savannah.gnu.org

2017-04-20 Thread Björn Höfling
On Thu, 20 Apr 2017 23:21:09 +0200
l...@gnu.org (Ludovic Courtès) wrote:

> ng0  skribis:
> 
> > Björn Höfling transcribed 0.8K bytes:  
> >> Hi,
> >> 
> >> I just tried a guix pull and got this error:
> >> 
> >> bjoern@g64 ~$ guix pull
> >> 
> >> Starting download of /tmp/guix-file.QxbCPt
> >> From
> >> https://git.savannah.gnu.org/cgit/guix.git/snapshot/master.tar.gz...
> >> ERROR: download failed
> >> "https://git.savannah.gnu.org/cgit/guix.git/snapshot/master.tar.gz";
> >> 502 "Bad Gateway" failed to download "/tmp/guix-file.QxbCPt" from
> >> "https://git.savannah.gnu.org/cgit/guix.git/snapshot/master.tar.gz";
> >> guix pull: error: failed to download up-to-date source, exiting
> >> 
> >> 
> >> I get this also when trying to clone the git repository:
> >> 
> >> git clone https://git.savannah.gnu.org/git/guix.git
> >> 
> >> Cloning into 'guix'...
> >> fatal: unable to access
> >> 'https://git.savannah.gnu.org/git/guix.git/': The requested URL
> >> returned error: 502
> >> 
> >> Do you have any idea? Is this temporary, or do I have to
> >> reconfigure something?
> >> 
> >> Thanks,
> >> 
> >> Björn
> >>   
> >
> > Yeah, it's unfortunate.
> > No, all of savannah git is down right now, every project. We have
> > to wait until someone in Boston fixes this.  
> 
> Boston woke up and this was fixed earlier today.  :-)
> 
> Ludo’.


Yeah, works here again :-)

Sorry to bother you guys with that. That was just one problem of a
still ongoing installation of GuixSD. Didn't expect to have so many
problems with it :-(

Thanks,

Björn