I am sorry if I posted in the wrong thread (should I open a new one?).

But for me this still does not work. I cannot even ping trac:

ping sine.math.ucdavis.edu
PING sine.math.ucdavis.edu (169.237.99.79): 56 data bytes
64 bytes from 169.237.99.79: icmp_seq=0 ttl=57 time=13.852 ms
64 bytes from 169.237.99.79: icmp_seq=1 ttl=57 time=16.273 ms
....

anne$ ping trac.sagemath.org
PING trac.sagemath.org (104.197.143.230): 56 data bytes
Request timeout for icmp_seq 0
Request timeout for icmp_seq 1
...

anne$ ping git.sagemath.org
PING trac.sagemath.org (104.197.143.230): 56 data bytes
Request timeout for icmp_seq 0
Request timeout for icmp_seq 1
...

Should I be using the github url 

url = git://github.com/sagemath/sage.git

This is not what my current set-up does (but it has always worked before):

anne$ git remote -v
origin  git://trac.sagemath.org/sage.git (fetch)
origin  git://trac.sagemath.org/sage.git (push)
trac    git://trac.sagemath.org/sage.git (fetch)
trac    g...@trac.sagemath.org:sage.git (push)


Best,

Anne
On Friday, April 28, 2017 at 3:49:02 AM UTC-7, Kwankyu Lee wrote:
>
> Hi,
>
> For the remote origin, the usual configuration is 
>
> [remote "origin"]
> url = git://github.com/sagemath/sage.git
> fetch = +refs/heads/*:refs/remotes/origin/* 
>
> If the same fetch setting is used for the remote trac, then the git client 
> would try to download all heads from the trac. 
>
> I confess that I mistakenly committed this "crime" recently :-( and fixed 
> it as soon as I recognized it.
>
> Might this be a cause of the recent trac slowdown? By the way, I did not 
> experience it myself... I am not sure if this is related and/or makes 
> sense...
>
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to