Package: reportbug Version: 11.5.1 Severity: minor Tags: patch Reportbug Maintainers,
reportbug ftp.debian.org with request type 'override' asks the user to choose the (new) priority from the following options: * required * important * standard * optional * extra However, Debian Policy 4.0.1 (Aug 2017) deprecated the 'extra' priority. Therefore the 'extra' priority option should be removed. Untested patch below. Thank you! Daniel Lewart Urbana, Illinois --- diff -ru a/reportbug/debbugs.py b/reportbug/debbugs.py --- a/reportbug/debbugs.py 2022-08-17 14:00:40.000000000 -0500 +++ b/reportbug/debbugs.py 2022-08-30 00:00:00.000000000 -0500 @@ -374,15 +374,19 @@ if not new_section: new_section = section + if priority == 'extra': + default_priority = 'optional' + else: + default_priority = priority + new_priority = ui.menu('Select the new priority', { 'required': "", 'important': "", 'standard': "", 'optional': "", - 'extra': "", - }, 'Choose the priority: ', default=priority, empty_ok=True) + }, 'Choose the priority: ', default=default_priority, empty_ok=True) if not new_priority: - new_priority = priority + new_priority = default_priority if new_section == section and new_priority == priority: cont = ui.select_options(