Re: [sage-devel] Re: cannot push to trac

2017-11-06 Thread Emmanuel Charpentier
Thanks. I finally managed to push my branch "manually". It may have been a fluke ; it may have something to do wit SSK keys management on Trac (I re-ploaded my public key). -- Emmanuel Charpentier Le lundi 6 novembre 2017 10:44:05 UTC+1, Erik Bray a écrit : > > On Sun, Nov 5, 2017 at 5:27 PM, E

Re: [sage-devel] Re: cannot push to trac

2017-11-06 Thread Erik Bray
On Sun, Nov 5, 2017 at 5:27 PM, Emmanuel Charpentier wrote: > I have exactly the same problem on Trac#24121, and can't push "manually, > since there is no upstream branch here yet. Y'v uploaded a patch, bu that's > not as easy to manage... > > Any ideas ? git push -u origin > Le samedi 7 octobr

[sage-devel] Re: cannot push to trac

2017-11-05 Thread Emmanuel Charpentier
I have exactly the same problem on Trac#24121 , and can't push "manually, since there is no upstream branch here yet. Y'v uploaded a patch, bu that's not as easy to manage... Any ideas ? -- Emmanuel Charpentier Le samedi 7 octobre 2017 15:23:41 UTC+2, M

[sage-devel] Re: Cannot push to trac - some git issue

2017-10-17 Thread Travis Scrimshaw
I would recommend not using "git trac" commands and just use git directly: git push : Best, Travis On Tuesday, October 17, 2017 at 5:20:16 AM UTC-5, Simon Brandhorst wrote: > > Would you please help me with this? There seems to be some conflict but I > am lost. > Git suggest to pull. But that