On Thu, Jan 18, 2018 at 3:40 PM, Mark Thomas <ma...@apache.org> wrote: > 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 > > Thoughts?
Yeah, I think asking them to move it is fine. > Mark > > --------------------------------------------------------------------- > To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org > For additional commands, e-mail: dev-h...@tomcat.apache.org > --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
