How to Rename a Branch in GitHub Without Breaking Things