dist-git tag question