A little PHP script to auto-pull changes from git. This can be used with the auto-push script to create auto-syncing through github.