Make "git tag" more user-friendly