update some git scripts
dash as a manpage thingy, plus misc