Am Sat, 23 May 2020 18:36:04 +0100
schrieb Mark Hindley <mark@???>:

> --smtphost=reportbug.debian.org

Thanks, I guess the issue can be closed.

Could the page https://bugs.devuan.org/Reporting.html please be
extended by:

If you want to report a bug upstream to Debian and don't have a
working smtp then you can use:

reportbug --bts debian --smtphost=reportbug.debian.org <packagename>