A quick greatest-hits list of how-tos
` git remote get-url git remote get-url origin `
` git remote set-url git remote set-url origin git@........ `
git add . & git commit -m “documentation update” & git push origin dev