<div dir="ltr">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? <div><br></div><div>[0] <a href="https://pulp.plan.io/issues/3089">https://pulp.plan.io/issues/3089</a><br clear="all"><div><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><br></div><div>David<br></div></div></div></div></div></div></div></div>
</div></div>