chiark / gitweb /
dgit: Do not verify the tag with git tag -v as well as git verify-tag, ie suppress...