<div dir="ltr">+1, Nov 13<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Nov 8, 2017 at 8:57 AM, 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 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" target="_blank">https://pulp.plan.io/<wbr>issues/3089</a><span class="HOEnZb"><font color="#888888"><br clear="all"><div><div class="m_3260437392465412653gmail_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>
<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>