git-update-index • man page