Really? You don't use GitHub, GItLab, BitBucket or anything like that? You just push to a repo over the network?

Is that actually a thing you do or do you actually use a GUI for git quite a lot?