> I bet you'll reply and say Maybe don't imagineer what I would say based on poor evidence. Because (1) github doing that is kind of dumb (though (1a) how oft

> I bet you'll reply and say Maybe don't imagineer what I would say based on poor evidence. Because (1) github doing that is kind of dumb (though (1a) how often do we make new projects?), and (2) we're discussing git as used for source control, particularly the commands. That's distinct from using github as a remote.