Some scripts for assisting GIT use by pair-programmers