GitHub repository: veni-dev/renaming
Description: Guidance for changing the default branch name for GitHub repositories