Github's support for renaming an existing branch