fixup github urls to gitlab
The primary host is now on gitlab / github is archived.
Fixup contributor links, install guide links etc to point to production repos.
The primary host is now on gitlab / github is archived.
Fixup contributor links, install guide links etc to point to production repos.