I already took a look. I couldn't even delete the post.
I did file an infra JIRA to block the poster.
Anybody can file a similar JIRA to limit issue creation to committers. I
would wait for a second occurrence, however.
On Sat, Feb 29, 2020 at 12:29 PM Giorgio Zoppi <[EMAIL PROTECTED]>