git branch -m master main
git push -u origin main
git push origin --delete master
But...you can do this as an Rmd with the git commands in a bash chunk
See https://gist.github.com/MonkmanMH/b0b6c9b57e3b33b04b019710184c2385
Last active
October 7, 2020 14:24
-
-
Save MonkmanMH/bcb91cf1f81be64b50ddb7e524067003 to your computer and use it in GitHub Desktop.
git command to rename branch of repo
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment