Some scripts to use with github