Synchronous remote file editing using SSH and Git