gitconfig: cleanup GitHub protocol handling.