Use both GitHub and Gitea

Even though we self-host Gitea, you may still want to use GitHub as a backup and for discovery.

Add both push URLs (replace my repositories with yours):

git remote set-url --add --push origin git@git.ubiquitycluster.uk:ops/ubiquity
git remote set-url --add --push origin git@github.com:cjcshadowsan/ubiquity

Now you can just run git push like usual and it will push to both GitHub and Gitea.