On 19/01/18 10:38, Violeta Georgieva wrote: > 2018-01-18 22:40 GMT+02:00 Mark Thomas <ma...@apache.org>: >> >> 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.
Confirmed that this is the case. >> 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 I'm going to resolve this issue as described. Mark --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org