On Thu, Jan 18, 2018 at 3:40 PM, Mark Thomas <[email protected]> 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: [email protected] > For additional commands, e-mail: [email protected] > --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
