5 second tip for improving your git workflows:

I build languages for scientists of all ages.
https://hub.scroll.pub
https://scroll.pub https://pldb.io

What’s the benefit of this? That the remote will be called “github” instead of “origin” so it’s clearer? Or is there something else?

/new-york by day 🗽 /untzuntz by night 😈 Fan of eating tacos and bringing people together, often at the same time 🌮

Ah okay gotcha, haven’t done that since Heroku I think haha but makes sense

If you mirror your repos to other servers/services (I mirror most of my main ones to 3), makes everything much clearer.

None. The only way I see this being useful is if I didn't know what the -u flag does. Or you had more than 1 remote, but in over  10 years I haven't seen any project with 2 remotes or more.