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

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

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

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?