Ok, hopefully it is fixed now. It looks like it is a bug in git (at least the version that is on the trac server), see [1].
[1] http://git.661346.n2.nabble.com/Problems-with-stale-keep-files-on-git-server-td6226633.html On Wed, Apr 15, 2015 at 1:02 PM, R. Andrew Ohana <[email protected]> wrote: > There is some permissions issue with the git repository. Working on it... > > On Wed, Apr 15, 2015 at 12:28 PM, Dima Pasechnik <[email protected]> > wrote: > >> /tmp or some other filesystem ran out of space? >> >> >> On Wednesday, 15 April 2015 20:09:54 UTC+1, vdelecroix wrote: >>> >>> contamination... >>> >>> http://trac.sagemath.org/ticket/17818 >>> >> -- >> 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 [email protected]. >> To post to this group, send email to [email protected]. >> Visit this group at http://groups.google.com/group/sage-devel. >> For more options, visit https://groups.google.com/d/optout. >> > > > > -- > Andrew > -- Andrew -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
