> and it's non-trivial for them to share files.

My approach is to have a separate dropbox and GitHub account for sharing, that both machines have access to.