Sync between different machines
Git wants to play. This is unneccesary, but otherwise nothing works.