ash-nazg icon indicating copy to clipboard operation
ash-nazg copied to clipboard

Published 20 hours ago • verified publisher icon w3c

Need an "ignore" option?

Open wseltzer opened this issue 3 years ago • 1 comments

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

wseltzer avatar May 19 '22 23:05 wseltzer

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)

dontcallmedom avatar May 20 '22 07:05 dontcallmedom