[minimaxir]

From the GitHub Issue itself, the maintainer did end up creating a PR to fix a related issue raised by the bot: https://github.com/curl/curl/pull/12984

Also, the bot filed another issue on a different repo referencing the source issue, despite the complaints: https://github.com/mirror/wget/issues/25