PHP endpoint for keeping remote directories in "sink" with GitHub repositories