Post from wezm on 27 Nov 2022

There should be a bot that detects a comment on a GitHub issue that matches /\Aany updates?(on this)?[?]?\z/i and responds with:

There are clearly no updates, otherwise you would see them above your comment.

Or something.