@UlrikeFischer hmm looks like the pure git way is to delete the remote branch then push the renamed local branch upstream which gets git in the right state but won't redirect pull requests and other github level links, so seems better to do it in the gui
github.blog/changelog/… in which case I suggest we just do it as needed.