On 17 December 2013 17:25, Volker Braun <[email protected]> wrote: > You only have write permissions for branches named u/cremona/... or > public/... > > To push the current local branch to u/cremona/8723 (or pick a better > description if you want): > > git push trac HEAD:u/cremona/8723 > > This is also in the developer guide > SAGE_ROOT/src/doc/output/html/en/developer/manual_git.html under "Pushing > Your Changes to a Ticket". >
OK, my mistake, sorry. (That part of the manual should be renamed to something other than "Git the hard way" !!) Your instructions worked, at leadst in the sense that the output from the git command suggested that it had done the right thing, but I cannot see the new branch (called u/cremona/8723) on the trac ticket. I guess that is something extra which the dev script would have seen to? Do I need to do more? Should I manually change the ticket fields branch (to u/cremona/8723) and commit (to 1fec98388ed6689f1ec86c9b32f5bf298122c320) ? Thank you for your patience. John -- 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.
