Reopening fixed issued on Bugzilla

[Paul Backus]

On Thursday, 22 September 2022 at 15:55:13 UTC, mw wrote:
> On Thursday, 22 September 2022 at 01:44:17 UTC, Walter Bright 
> wrote:
>> On 9/21/2022 3:01 PM, mw wrote:
>>> Remove the "reopen" option from the bugzilla webserver will 
>>> be the easiest way to enforce this.
>>
>> It's ok to reopen issues that were closed due to things like 
>> "wontfix".
>>
>> But once there's a PR for it that's been accepted and fixes 
>> the issue as presented, it should not be reopened.
>>
>> Even if it's a bad fix.
>
> You can add all such rules to the web server.

Specifically, it looks like this is available under "workflow 
configuration":

https://bugzilla.readthedocs.io/en/latest/administering/workflow.html

Of course, with the planned migration to Github issues, all of 
this discussion is somewhat moot.