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

On Sun, Aug 21, 2016 at 8:14 PM, Dima Pasechnik wrote: > > > 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

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

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

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

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 : > >

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

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

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

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

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

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

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

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

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

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

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

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

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:

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

I confirm the problem. Also patchbots are spewing ApplyFailed because of it. -- 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

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

On Sun, 21 Aug 2016, leif wrote: I am finding myself unable to fetch the positively reviewed ticket TRAC#21135 : No. Works for me: $ git fetch -v trac public/21135 && echo OK $ git fetch -v trac public/21135 fatal: Couldn't find remote ref public/21135 -- Jori Mäntysalo

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

I tried again after I read that he rebooted the server, and once again just now. Same problem before and after rebooting. On Saturday, August 20, 2016 at 6:19:37 PM UTC-7, leif wrote: > > Paul Masson wrote: > > Getting the same error for https://trac.sagemath.org/ticket/21299 > > Works for me

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

Paul Masson wrote: > Getting the same error for https://trac.sagemath.org/ticket/21299 Works for me as well (with plain git). Did you perhaps try while Dima was rebooting trac? (I think git.sagemath.org is the same machine, although I'm not sure.) -leif -- You received this message

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

Getting the same error for https://trac.sagemath.org/ticket/21299 -- 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

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

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 Trac #21135 remote branch public/21135 -> local branch >