nauta @nauta.one · Oct 16 today i learned that you can have multiple push urls for the same git origin, so it pushes to multiple hosts with one command
15 likes 3 replies
?
Replies
here i say “git origin” but i mean “git remote”
git remote set-url --add --push origin <url>
holy fuck i wish i knew this earlier