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.
