bug reporting instructions

Bruno Haible via Bug reports for the GNU Internet utilities <[email protected]> Mon, 21 Jul 2025 22:00:26 +0200

Newsgroups	gmane.comp.gnu.inetutils.bugs
Organization	GNU
Message-ID	<5207327.mzcYPaeBD7@nimes>

Collin Funk wrote:
> [1] https://codeberg.org/inetutils/inetutils/pulls/5

Oh, there's a mirror with an issue tracker there!

Where should users report bugs?
  - The "--help" output of the programs say
    "Report bugs to <[email protected]>."
  - But there are some bug reports also at
    https://savannah.gnu.org/bugs/?group=inetutils
  - And soon people might enter bug reports also at
    https://codeberg.org/inetutils/inetutils/issues

IMO it would be good to make this consistent, so that
  - Users won't enter bugs in places where no maintainer will look at.
  - If users have the choice between a mailing list and a web-based
    tracker, they get told so.

Bruno