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
pld-devel-pl@list...
http://lists.pld-linux.org/mailman/listinfo/pld-devel-pl