Tag: how to rename remote branch in github