Re: [Savannah-users] SSL cert for git0.savannah.gnu.org: wrong host

2017-08-08 Thread Marcus Müller
Hi Bob, Thank you very much for fixing all this on such short notice! :) Best regards, Marcus On 9 August 2017 2:13:58 AM GMT+02:00, Bob Proulx wrote: >Hi Marcus, > >> > Where did you see git0.savannah.gnu.org documented so that this may >be >> > corrected? >> >> I got that URL from the gitweb

Re: [Savannah-users] SSL cert for git0.savannah.gnu.org: wrong host

2017-08-08 Thread Bob Proulx
Hi Marcus, > > Where did you see git0.savannah.gnu.org documented so that this may be > > corrected? > > I got that URL from the gitweb instance [1] that the autoconf savannah > page [2] points to. > http://git.savannah.gnu.org/gitweb/?p=autoconf.git Aha! We look at these pages all of the time

Re: [Savannah-users] SSL cert for git0.savannah.gnu.org: wrong host

2017-08-08 Thread Marcus Müller
Hi Bob, thanks for getting back to me! > Where did you see git0.savannah.gnu.org documented so that this may be > corrected? I got that URL from the gitweb instance [1] that the autoconf savannah page [2] points to. Admittedly, the savannah page itself has a non-TLS variant of the URL: git clo

Re: [Savannah-users] SSL cert for git0.savannah.gnu.org: wrong host

2017-08-08 Thread Bob Proulx
Marcus Müller wrote: > https://git0.savannah.gnu.org is unusable at the moment, since the SSL > certificate is for bzr.savannah.gnu.org; noticed that when trying to > clone the autoconf repo. You have a typo in your URL. You are using git0.savannah.gnu.org but that is the underlying node hostname

[Savannah-users] SSL cert for git0.savannah.gnu.org: wrong host

2017-08-08 Thread Marcus Müller
Hi, making this really short: https://git0.savannah.gnu.org is unusable at the moment, since the SSL certificate is for bzr.savannah.gnu.org; noticed that when trying to clone the autoconf repo. See openssl output below: $> openssl s_client -connect git0.savannah.gnu.org:443 CONNECTED(0003

[Savannah-users] mirror not synced

2017-08-08 Thread Joël Krähemann
Hi, Yesterday night I did scp gsequencer-0.9.6.tar.gz but my mirror doesn't get it. http://mirror.easyname.at/nongnu/gsequencer/0.9.x/ By the way we could delete some old directories like: * stable * 0.7.x best regards, Joël