>Jira being delayed is a bit of a problem What do you think of https://issues.apache.org/jira/browse/XALANJ-2668 "Consider using GitHub issues instead of JIRA"?
Frankly speaking, I think having issues, PR, and discussions in a single place would be much better than having JIRA vs GitHub with different email settings and even different comment syntax. Vladimir
