git: a few more things