Apparently comments on github pull requests are not reproduced on the
jira ticket.

For info, I just filed an infra ticket for this:
https://issues.apache.org/jira/browse/INFRA-9109

Matthieu

Reply via email to