github/renaming July 28, 2020 Projects Guidance for changing the default branch name for GitHub repositories