By “post correction”, I meant “post-correction script”, i.e. after the correction script completed. A recent commit started the process of moving the WWW from pkg-descr to Makefile. These were huge commits, about 27930 ports each. FreshPorts is dumb. It sees a commit and it refreshes all ports touched by that commit. Refreshing every port takes [...]
↧