Ok, we solved it by a force push.
The weird was probably because of french accents
in git log error.
Julien
Le jeudi 25 août 2016 10:06:31 UTC+2, Julien Lavauzelle a écrit :
>
> Hi,
>
> I have the following git trac push error:
>
> Pushing to Trac #20100...
> Gue
e url, use
different internet connections.
None of them work.
Weirdly, git trac checkout #ticket works though.
Can someone help me?
Thanks,
Julien Lavauzelle
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscrib
OK it works for me now.
Thanks a lot Erik,
Julien
--
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,
Hi,
I made the git-trac update and I got the same 'Permission denied' problem
with my new keys (new laptop also), when trying to push or to use 'ssh -T
g...@trac.sagemath.org'. But I didn't understand how tara or eviatar fixed
it. Could someone tell me ?
Best,
Julien (login jlavauzelle)
--
