git: Various minor things