On Mar 10, 2024, at 05:48, Riccardo Mottola wrote: > > I suppose that since you got the repository in git, you just need to do a "git pull" to upgrade it and subsequently "sudo port -v sync". You don't need to run "git pull" manually. "sudo port sync" runs it for you.