Mobile git-sync

Simple script to synchronize files between a git repository on a Linux host with a mobile (or possibly other) device.