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 <giorgio.zo...@gmail.com> wrote: > Ok, > ted, could you help on this? > BR, > Giorgio >