>> "User settings" means it is not ok to set in a port Makefile. >> You will need to arrange to have it mirrored. >> > > In this case, just removing FETCH_CMD works fine. Although not an > explicit link over at github.com that works so need for mirroring... >
that should say _no_ need for mirroring.
