I have merged the PR that moves the platform/ directory to pulpcore/. Please rebase all your pulp PRs against the 3.0-dev branch.
David On Wed, Nov 8, 2017 at 5:54 PM, David Davis <[email protected]> wrote: > I opened two PRs to move platform/ to pulpcore/: > > https://github.com/pulp/pulp/pull/3217 > https://github.com/pulp/devel/pull/104 > > If there are no objections by Friday, I’ll proceed on Monday, November 13 > to merge the PRs. Will respond on Monday once they are merged. > > > David > > On Wed, Nov 8, 2017 at 2:28 PM, Jeff Ortel <[email protected]> wrote: > >> +1 >> >> On 11/08/2017 07:57 AM, David Davis wrote: >> > I am working on issue #3089 [0] to rename the ‘platform' directory to >> ‘pulpcore'. I should hopefully have some >> > PRs open today but I’d like to go ahead and set a date for making this >> change as it has the potential to mess >> > up pulp PRs. It looks like there are only two Pulp 3 PRs that aren’t >> marked as WIP. I was thinking about the >> > morning of Monday, November 13. Would that give people enough time? >> > >> > [0] https://pulp.plan.io/issues/3089 >> > >> > David >> > >> > >> > _______________________________________________ >> > Pulp-dev mailing list >> > [email protected] >> > https://www.redhat.com/mailman/listinfo/pulp-dev >> > >> >> >> _______________________________________________ >> Pulp-dev mailing list >> [email protected] >> https://www.redhat.com/mailman/listinfo/pulp-dev >> >> >
_______________________________________________ Pulp-dev mailing list [email protected] https://www.redhat.com/mailman/listinfo/pulp-dev
