Pulling from guix git repo fails

Pulling from guix git repo fails

[Arun Isaac]

I'm not able to pull from the guix repo. Has some URL changed? I have
commit access.

$ git pull

ssh: connect to host git.sv.gnu.org port 22: Connection timed out
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.

$ git remote -v

origin	ssh://arunisaac@git.sv.gnu.org/srv/git/guix.git (fetch)
origin	ssh://arunisaac@git.sv.gnu.org/srv/git/guix.git (push)

Re: Pulling from guix git repo fails

[Leo Famulari]

[-- Attachment #1: Type: text/plain, Size: 937 bytes --]

On Thu, Aug 03, 2017 at 10:35:19PM +0530, Arun Isaac wrote:
> 
> I'm not able to pull from the guix repo. Has some URL changed? I have
> commit access.
> 
> $ git pull
> 
> ssh: connect to host git.sv.gnu.org port 22: Connection timed out
> fatal: Could not read from remote repository.
> 
> Please make sure you have the correct access rights
> and the repository exists.
> 
> $ git remote -v
> 
> origin	ssh://arunisaac@git.sv.gnu.org/srv/git/guix.git (fetch)
> origin	ssh://arunisaac@git.sv.gnu.org/srv/git/guix.git (push)
 
This doesn't answer your question directly, but I pull from the HTTPS
URL:

https://git.savannah.gnu.org/r/guix.git

I never tried pulling over SSH, although I believe Savannah intends to
support it. Before they served Git over HTTPS, pulling over SSH was the
recommended way to pull over an authenticated protocol.

You can set different URLs for push and pull with `git remote`.

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]

Re: Pulling from guix git repo fails

[Tobias Geerinckx-Rice]

Arun,

Arun Isaac wrote on 03/08/17 at 19:05:
> I'm not able to pull from the guix repo [over SSH].

Works fine here. Maybe it was a transient or local network issue?

  $ git config --get remote.upstream.url
  nckx@git.sv.gnu.org:/srv/git/guix.git

  $ git fetch upstream
  remote: Counting objects: 471, done.
  remote: Compressing objects: 100% (108/108), done.
  remote: Total 385 (delta 307), reused 347 (delta 277)
  Receiving objects: 100% (385/385), 77.68 KiB | 0 bytes/s, done.
  Resolving deltas: 100% (307/307), completed with 13 local objects.
  From git.sv.gnu.org:/srv/git/guix
     5d8312f1c..cf189709b  master     -> upstream/master

Kind regards,

T G-R

Re: Pulling from guix git repo fails

[Arun Isaac]

I just found out that my ISP (BSNL -- run by the Indian government and
one of the largest ISPs in India) has blocked outgoing connections on
port 22 for the entire country because of "malware attacks". Many people
are affected. So, I'm hoping this absurdly stupid decision will be
reversed soon.

So, I don't think this is a problem with Guix.