[sage-devel] Re: Problem retrieving a (positively reviewed) ticket

2016-08-21 Thread Emmanuel Charpentier
Le dimanche 21 août 2016 01:33:57 UTC+2, leif a écrit : > > Emmanuel Charpentier wrote: [ Snip...] > > > No. Works for me: > > $ git fetch -v trac public/21135 && echo OK > remote: Counting objects: 2875, done. > remote: Compressing objects: 100% (1133/1133), done. > Receiving objects: 100

[sage-devel] Re: Problem retrieving a (positively reviewed) ticket

2016-08-21 Thread Dima Pasechnik
in syslog on trac I see something I cannot make sense of: here is a connection from Ghent (Jeroen't machine, according to IP), although there are more from other places: ug 21 07:39:25 trac git-daemon[27274]: Connection from 157.193.230.60:46723Aug 21 07:39:25 trac git-daemon[27274]: Extended

Re: [sage-devel] Re: Problem retrieving a (positively reviewed) ticket

2016-08-21 Thread Johan S . H . Rosenkilde
I confirm the problem, even with develop: $ git fetch trac develop fatal: Couldn't find remote ref develop Best, Johan -- 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 emai

[sage-devel] Re: Problem retrieving a (positively reviewed) ticket

2016-08-21 Thread leif
Dima Pasechnik wrote: > in syslog on trac I see something I cannot make sense of: here is a > connection from Ghent (Jeroen't machine, according to IP), although > there are more from other places: > > ug 21 07:39:25 trac git-daemon[27274]: Connection from > 157.193.230.60:46723Aug 21 07:39:25 tra

[sage-devel] Please stop your patchbot

2016-08-21 Thread Ralf Stephan
Patchbots were started despite the git protocol problem unresolved. People can work around on trac by changing to git@ remote but in the patchbot is still the wrong method so YOUR patchbot is spamming the database with ApplyFailed. Stop it please. -- You received this message because you are subs

[sage-devel] Re: Problem retrieving a (positively reviewed) ticket

2016-08-21 Thread Travis Scrimshaw
I can both confirm the problem and Leif's workaround works (although it required deleting the previous fingerprint key in the known_hosts). Best, Travis -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop rece

[sage-devel] Re: Problem retrieving a (positively reviewed) ticket

2016-08-21 Thread leif
Travis Scrimshaw wrote: > I can both confirm the problem and Leif's workaround works (although it > required deleting the previous fingerprint key in the known_hosts). The weird thing is that git ls-remote git://trac.sagemath.org/sage.git doesn't give any error, it just gives no refs at all.

[sage-devel] Re: Problem retrieving a (positively reviewed) ticket

2016-08-21 Thread Volker Braun
This should be fixed now On Sunday, August 21, 2016 at 12:15:05 AM UTC+2, Emmanuel Charpentier wrote: > > I am finding myself unable to fetch the positively reviewed ticket > TRAC#21135 : > > charpent@asus16-ec:/usr/local/sage-7$ git trac checkout 21135 > Loading ticket #21135... > Checking out

[sage-devel] Re: Problem retrieving a (positively reviewed) ticket

2016-08-21 Thread leif
Volker Braun wrote: > This should be fixed now Yep, the refs are back (also with git://). -leif > On Sunday, August 21, 2016 at 12:15:05 AM UTC+2, Emmanuel Charpentier wrote: > > I am finding myself unable to fetch the positively reviewed ticket > TRAC#21135 : > > charpent@asus16-

[sage-devel] Re: Problem retrieving a (positively reviewed) ticket

2016-08-21 Thread Dima Pasechnik
On Sunday, August 21, 2016 at 5:23:28 PM UTC+1, Volker Braun wrote: > > This should be fixed now > > Thanks much, Volker! I installed usual ubuntu updates from standard debs, but as you pointed out to me there was a manual change in a config file that got overwritten... :-( We need to find a way