Depends. Sometimes I write from the server directly, but ssh and pull happens most of the time. I’m sure it would be “smarter” to do something with webhooks or a dozen other things to auto-sync.