git-update-dirs: Ignore -p/--pull in bare repos

6662d1a4-c0f2-11e3-8cb2-fefdb24f8e10