Re: [sage-devel] Re: Git push issues

On Tue, Mar 6, 2018 at 11:24 PM, Luca De Feo wrote: >> No problem. And this was a mistake *I* made. This is a side-effect I >> did not consider and might want to think more about how to prevent... > > GitHub forbids using an ssh key twice. It seems the only reasonable

Re: [sage-devel] Re: Git push issues

> No problem. And this was a mistake *I* made. This is a side-effect I > did not consider and might want to think more about how to prevent... GitHub forbids using an ssh key twice. It seems the only reasonable thing to do. -- You received this message because you are subscribed to the Google

Re: [sage-devel] Re: Git push issues

On Tue, Mar 6, 2018 at 7:29 PM, Meghana.M Reddy wrote: > This was the mistake I made. It worked now. Thanks a lot for helping me out. No problem. And this was a mistake *I* made. This is a side-effect I did not consider and might want to think more about how to

Re: [sage-devel] Re: Git push issues

Dear Erik, I'm able to push my branch now. Thank you for your quick reply and helping me with the SSH key. Regards, Meghana On Tuesday, March 6, 2018 at 9:35:01 PM UTC+5:30, Erik Bray wrote: > > Hi Meghana, > > I've manually deleted your duplicate SSH key, so you should be able to > push

[sage-devel] Re: Git push issues

This was the mistake I made. It worked now. Thanks a lot for helping me out. On Tuesday, March 6, 2018 at 9:01:56 PM UTC+5:30, Eric Gourgoulhon wrote: > > Hi, > > Le mardi 6 mars 2018 13:17:56 UTC+1, Meghana.M Reddy a écrit : >> >> ! [remote rejected] HEAD -> t/24909/boruvka_algorithm_for_mst

Re: [sage-devel] Re: Git push issues

Hi Meghana, I've manually deleted your duplicate SSH key, so you should be able to push again for now. Best, E On Tue, Mar 6, 2018 at 5:02 PM, Erik Bray wrote: > There's also an issue that if you've made both a local account on the > Trac server, and you have logged in

Re: [sage-devel] Re: Git push issues

There's also an issue that if you've made both a local account on the Trac server, and you have logged in with GitHub (i.e. your gh- username), and if you've saved the same SSH key with both accounts, then the push authorization scripts can fail. This is because "" and "gh-" are treated as

[sage-devel] Re: Git push issues

Le mardi 6 mars 2018 16:31:56 UTC+1, Eric Gourgoulhon a écrit : > > > The target on trac does not seem correct; the syntax of the push command > should be > > git push trac HEAD:u/user_name/branch_name > > > For more details, see

[sage-devel] Re: Git push issues

Hi, Le mardi 6 mars 2018 13:17:56 UTC+1, Meghana.M Reddy a écrit : > > ! [remote rejected] HEAD -> t/24909/boruvka_algorithm_for_mst (hook > declined) > error: failed to push some refs to 'g...@trac.sagemath.org:sage.git' > > The target on trac does not seem correct; the syntax of the push