<div dir="ltr"><div>Hi all,</div><div><br></div><div>I've run across a situation that has left me confused. I started updating some of the portfiles for which I'm the maintainer, and then I noticed that the portfiles seem to have already been updated in git. However, I can't find any PRs for such an update, and I was never notified that the ports for which I'm the maintainer was getting updated... usually, if someone submits a PR for a portfile for which I'm the maintainer, I get a notification through GitHub.<br></div><div><br></div><div>In addition, I have run a "port selfupdate" on my machine, and yet the MacPorts on my machine isn't seeing the new version of the port. Is something broken, either on my machine, or on GitHub?<br></div><div><br></div><div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div>-- </div><div>Jason Liu<br></div></div></div></div></div></div>