2018-01-18 22:40 GMT+02:00 Mark Thomas <[email protected]>: > > Hi, > > This issue might have resolved itself. We currently only have open PRs > on the apache/tomcat github repo. Assuming that repo would be made > read/write (I'm checking with infra) then there isn't a problem. > > If anyone opnes a PR on one of the other repos between now and migration > we can simply ask then to redo the PR against apache/tomcat
+1 > > Thoughts? > > Mark > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] >
