search

w3c / ash-nazg

One interface to find all group contributors and in IPR bind them
https://labs.w3.org/repo-manager/
MIT License
22 stars 18 forks source link

Need an "ignore" option? #246

Open wseltzer opened 2 years ago

wseltzer commented 2 years ago

Where a participant leaves the WG after making a PR but before the PR is merged, the bot flags it. The participant had made the commitment, so it would be good to have a way to dismiss the flag without asserting "non-substantive".

See e.g. https://github.com/w3c/webauthn/pull/1663

dontcallmedom commented 2 years ago

The few times I've hit this situation, I handle it by adding a comment in the PR that explains the situation and merge without further ado.

(but to be clear, I'm not not pushing back against adding an escape hatch to the tool either)