Does this mean we can go back to using "master" as our git repo's default branch?