All useful GIT helper scripts should go here This includes scripts useful to the TDE developers for pushing batch changes, etc.