GitHub to rename "master" branch