dist/pull: do not use ":/" as git pathspec