<div dir="ltr">I have merged the PR that moves the platform/ directory to pulpcore/. Please rebase all your pulp PRs against the 3.0-dev branch.</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 5:54 PM, David Davis <span dir="ltr"><<a href="mailto:daviddavis@redhat.com" target="_blank">daviddavis@redhat.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><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" target="_blank">https://github.com/pulp/pulp/<wbr>pull/3217</a></div><div><a href="https://github.com/pulp/devel/pull/104" target="_blank">https://github.com/pulp/devel/<wbr>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"><span class="HOEnZb"><font color="#888888"><br clear="all"><div><div class="m_1959223023398290448gmail_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></font></span><div><div class="h5">
<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="m_1959223023398290448HOEnZb"><div class="m_1959223023398290448h5"><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/30<wbr>89</a><br>
><br>
> David<br>
><br>
><br>
</div></div><div class="m_1959223023398290448HOEnZb"><div class="m_1959223023398290448h5">> ______________________________<wbr>_________________<br>
> Pulp-dev mailing list<br>
> <a href="mailto:Pulp-dev@redhat.com" target="_blank">Pulp-dev@redhat.com</a><br>
> <a href="https://www.redhat.com/mailman/listinfo/pulp-dev" rel="noreferrer" target="_blank">https://www.redhat.com/mailman<wbr>/listinfo/pulp-dev</a><br>
><br>
<br>
</div></div><br>______________________________<wbr>_________________<br>
Pulp-dev mailing list<br>
<a href="mailto:Pulp-dev@redhat.com" target="_blank">Pulp-dev@redhat.com</a><br>
<a href="https://www.redhat.com/mailman/listinfo/pulp-dev" rel="noreferrer" target="_blank">https://www.redhat.com/mailman<wbr>/listinfo/pulp-dev</a><br>
<br></blockquote></div><br></div></div></div>
</blockquote></div><br></div>