A bunch of shell scripts to update php projects with git.