> Chia-Ping, thanks for bringing this up. I assumed that was done by a Jira + > GitHub integration, not Jenkins. I'll ask the Infra team for suggestions.
You are right, that is unrelated to INFRA (https://issues.apache.org/jira/browse/INFRA-26174). Apologies for asking a strange question :( Best, Chia-Ping