<div dir="ltr">I opened two PRs to move platform/ to pulpcore/:<div><br></div><div><div><a href="https://github.com/pulp/pulp/pull/3217">https://github.com/pulp/pulp/pull/3217</a></div><div><a href="https://github.com/pulp/devel/pull/104">https://github.com/pulp/devel/pull/104</a></div></div><div><br></div><div>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.</div></div><div class="gmail_extra"><br clear="all"><div><div class="gmail_signature" data-smartmail="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>
<br><div class="gmail_quote">On Wed, Nov 8, 2017 at 2:28 PM, Jeff Ortel <span dir="ltr"><<a href="mailto:jortel@redhat.com" target="_blank">jortel@redhat.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">+1<br>
<div class="HOEnZb"><div class="h5"><br>
On 11/08/2017 07:57 AM, David Davis wrote:<br>
> I am working on issue #3089 [0] to rename the ‘platform' directory to ‘pulpcore'. I should hopefully have some<br>
> 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<br>
> up pulp PRs. It looks like there are only two Pulp 3 PRs that aren’t marked as WIP. I was thinking about the<br>
> morning of Monday, November 13. Would that give people enough time?<br>
><br>
> [0] <a href="https://pulp.plan.io/issues/3089" rel="noreferrer" target="_blank">https://pulp.plan.io/issues/<wbr>3089</a><br>
><br>
> David<br>
><br>
><br>
</div></div><div class="HOEnZb"><div class="h5">> ______________________________<wbr>_________________<br>
> Pulp-dev mailing list<br>
> <a href="mailto:Pulp-dev@redhat.com">Pulp-dev@redhat.com</a><br>
> <a href="https://www.redhat.com/mailman/listinfo/pulp-dev" rel="noreferrer" target="_blank">https://www.redhat.com/<wbr>mailman/listinfo/pulp-dev</a><br>
><br>
<br>
</div></div><br>______________________________<wbr>_________________<br>
Pulp-dev mailing list<br>
<a href="mailto:Pulp-dev@redhat.com">Pulp-dev@redhat.com</a><br>
<a href="https://www.redhat.com/mailman/listinfo/pulp-dev" rel="noreferrer" target="_blank">https://www.redhat.com/<wbr>mailman/listinfo/pulp-dev</a><br>
<br></blockquote></div><br></div>