Helping myself change the default Git branch