update upstream after renaming master-branch

Author: joakimen

rename-master-to-main

@@ -10,3 +10,5 @@ git branch -m master main
 git push origin main
 gh api -X PATCH repos/{owner}/{repo} -F default_branch=main --silent
 git push origin --delete master
+git branch -u origin/main main
+git fetch --prune