You can delete an upstream branch with git using git push remote :branchname
(note the colon). The usual syntax is git push remote sourcebranch:remotebranch putting nothing for sourcebranch causes it replace remotebranch with the empty branch (i.e., delete it). It's also best to always use --dry-run first when doing this, to make sure it really will do what you want. What I personally do is I have an alias pu = push github in my .gitconfig. Then, whenever I push, I do "git pu" instead of "git push github". This way, I never accidentally leave off the "github" and push to origin. It's also fewer letters :) Aaron Meurer On Sat, Mar 16, 2013 at 7:32 AM, Julien Rioux <julien.ri...@gmail.com> wrote: > > You can delete it from https://github.com/sympy/sympy/branches (just make > sure nothing important is lost). > > > Regards, > Julien > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sympy+unsubscr...@googlegroups.com. > To post to this group, send email to sympy@googlegroups.com. > Visit this group at http://groups.google.com/group/sympy?hl=en. > For more options, visit https://groups.google.com/groups/opt_out. > > -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at http://groups.google.com/group/sympy?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
