<div dir="ltr"><div dir="ltr"><br></div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Apr 5, 2019 at 8:58 AM Umesh Singla <<a href="mailto:umeshksingla@macports.org">umeshksingla@macports.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div><br></div><div><div class="gmail_quote"><div dir="auto">It’s okay to share all the project related updates on the list. In fact, it’s preferred that way.</div></div></div></blockquote><div><br></div><div>Thanks, I was just being hesitant to write that on the list.</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div><div class="gmail_quote"><div dir="auto">Does this include additions and/or deletions?</div></div></div></blockquote><div> </div><div>Portindex uses modified time to detect changes, so it does not seem like if it would be able to detect deletions, as Mojca said. But, I just realised that we can make some further changes- if a port is available in the old portindex but the port directory does not exist, then we can mark the port as deleted.</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div><div class="gmail_quote"><div dir="auto">It’s always to good to show your work and get feedback. It’s difficult to comment on the quality otherwise. Please do not forget to make a PR.</div></div></div></blockquote><div> </div><div>Thank you, I will do this. I was just uselessly worried that this command might not be very useful in general- but then it is important to get code reviewed.</div><div><br></div><div>Thank you</div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">
</blockquote></div></div>
</blockquote></div></div>