I have been reviewing #8723 where there are a few commits based on a rather old version of master (before the dev scripts). I found some things which needed fixing so I made a new commit (based on the last commit already on the ticket). Now I want to push the changes back to trac. I cannot use "sage -dev push" since on this branch there are no dev scripts. I tried plain "git push trac" but got this:
jec@atkin:~/sage (branch: ticket/8723)$ git push trac ticket/8723 X11 forwarding request failed on channel 0 Counting objects: 13, done. Delta compression using up to 64 threads. Compressing objects: 100% (7/7), done. Writing objects: 100% (7/7), 841 bytes, done. Total 7 (delta 6), reused 0 (delta 0) remote: FATAL: W refs/heads/ticket/8723 sage cremona DENIED by fallthru remote: error: hook declined to update refs/heads/ticket/8723 To ssh://[email protected]:2222/sage.git ! [remote rejected] ticket/8723 -> ticket/8723 (hook declined) error: failed to push some refs to 'ssh://[email protected]:2222/sage.git' Any idea why that did not work? I would like my commit to get added there since it solves a problem I have reported on there. John On 17 December 2013 14:42, Volker Braun <[email protected]> wrote: > On Tuesday, December 17, 2013 2:33:54 PM UTC, Ralf Hemmecke wrote: >> >> I don't know much about the plan for "sage -dev", but I generally think, >> it's a bad idea to maintain two interfaces for the same task. > > > I tend to agree, though there is something to be said for scripting the > interaction with the trac server. For now, this is what we have. You are > welcome to work on a better solution. I'm using and working on > https://github.com/sagemath/git-trac-command for a "git trac" subcommand > that just implements the trac interaction without trying to reinvent the > wheel. > > > -- > You received this message because you are subscribed to the Google Groups > "sage-git" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/groups/opt_out. -- You received this message because you are subscribed to the Google Groups "sage-git" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
