Hi folks, While pushing my code, by mistake I have made a new branch in trac (public/ticket/24894_superRSK) using the command `git push trac HEAD:public/ticket/24894_superRSK` instead of using my old branch. Now I want to delete this branch since it's not required but how to do so?
Thanks, Chaman Agrawal -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/ea5fc372-f2f5-4ad3-a649-8b2a56e4f230%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
