TIL: you can configure a #git remote with multiple push URLs.
It basically allows you to push to multiple remotes at once.
Why is this step necessary? tiny.tilde.website might not be the server where you are registered, so we need to redirect you to your home server first.
Don't have an account? You can sign up here