GitHub migration complete

[René J.V. Bertin]

On Monday October 31 2016 10:00:05 Ryan Schmidt wrote:

> This issue only affects the very small percentage of the MacPorts user population (including developers and maintainers) that clones the git repository. Most users will use the rsync server, on which we do generate portindexes for each macOS version.

Of course, but note how I used the word collective, which was supposed to include the idea that portindex has to be run each time by every user. :)

R.