gitconfig and other miscellany