Thank you. This explains that.
FYI : I had to re-build from scratch. I don't understand why... yet !
Thanks a lot !
--
Emmanuel Charpentier
Le mardi 3 mars 2015 21:41:42 UTC+1, Volker Braun a écrit :
>
> When closing a ticket, a script replaces the branch on the trac ticket
> (which might cha
When closing a ticket, a script replaces the branch on the trac ticket
(which might change in the future) with its current head sha1 (i.e. always
one fixed commit).
On Tuesday, March 3, 2015 at 9:02:41 PM UTC+1, Emmanuel Charpentier wrote:
>
> Funnier and funnier : now, on a couple of another m
Funnier and funnier : now, on a couple of another machines, when I 'git
trac checkout 17234', git dutifully creates the branch, but says that the
upstream branch disapearred...
I tried to look at this via the trac.sagemath.org interface : here, the
ticket is resolved/closed : do closing a ticke
This is supposed to be fxed by a173e92. If you tried the ticket before
that commit then you need to manually delete / fix permissions in
SAGE_LOCAL/share/sage/ext/doctest
On Monday, March 2, 2015 at 11:09:29 PM UTC+1, Emmanuel Charpentier wrote:
>
> This was intended to be a comment on Trac#1
