Comment by jorvi

> not the monsters that GitHub/Lab

You mean cloning a repo and then simply pushing upstream?

I can’t fathom how anyone would think that is more complicated than e-mail push workflows.

It’s like someone telling you that IRC is “obviously” less complicated than setting up a Discord account.