This is just a quick memo to future self on what should be done locally, if I rename some GitHub repo: git pull git push git prune git remote prune origin git status Or even faster: git pull &&…