pld-devel-pl Cc: Bcc: Subject: Git HOWTO: change branch name Reply-To: A remark which just came to my mind.
If for any reason you decide to change the name of exported branch, you should do this in this order: git branch -m oldname newname git push origin newname git push --delete origin oldname This way you avoid superfluous notification emails. -- Kacper _______________________________________________ pld-devel-pl mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-devel-pl
