Package: git-extras Version: 1.7.0-1 Severity: important File: /usr/bin/git-bug
$ man git-bug No manual entry for git-bug See 'man 7 undocumented' for help when manual pages are not available. $ git-bug --help $ echo $? 0 $ git branch * bug/--help master $ This behaviour violates a "should" in policy section 12.1. In addition users normally expect that tools give some help if they don't ship a manual page. Instead the tool just does some non-obvious changes to your git repository. So this is why I consider this bug important. Thanks for providing manual pages for most of the other git extras though. Helmut -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org