On 10 Oct 2017, at 17:49, Rainer Müller <raimue at macports.org> wrote: > git reset --hard > git clean --force That worked, but the question remains. Is there anything in port that could have messed the repo? Maybe an incomplete sync?