There’s a similar situation with a Java pr which is already open. I’ve discussed it with Carlos and per his preference we’re going to open that pr against the new repo (and not merge to the core repo).
-r > On Oct 12, 2017, at 4:39 AM, Rob Allen <[email protected]> wrote: > > Hi, > > I noted from the call that there are now repositories for each runtime, but > we're not currently using them. > > I have a change I want to make to the PHP and Python runtimes. Should I PR > against the new repositories now or wait a bit until the new separated out > runtimes are all integrated? > > Regards, > > Rob... >
