Missing replication of Tomcat 9 svn repo to github

[Violeta Georgieva]

Hi,

There is not replication of Tomcat 9 svn repo to github since 26.09.
All other repos are ok (Tomcat7/8/8.5).
Should I create an infra issue?

Thanks,
Violeta