docs: update repo URLs after GitLab move
authorEric Engestrom <eric.engestrom@intel.com>
Fri, 21 Sep 2018 13:39:53 +0000 (14:39 +0100)
committerEric Engestrom <eric.engestrom@intel.com>
Sat, 22 Sep 2018 16:23:18 +0000 (17:23 +0100)
commitae2694efe06807a24ada97bcdd55da91f51d3c59
treef3222d26cf793d816119dd088b822f2afb92e66c
parentc95dd966c4362ef75bab1664726533c017a9b331
docs: update repo URLs after GitLab move

I also updated the developer instructions; presumably someone who's been
given commit rights already knows how to clone a repository :)

A more useful thing is to show how to update the pushurl, and how to use
access tokens to push over HTTPS (especially for us at Intel, where
non-http traffic is a pain).

Signed-off-by: Eric Engestrom <eric.engestrom@intel.com>
Reviewed-by: Emil Velikov <emil.l.velikov@gmail.com>
Reviewed-by: Dylan Baker <dylan@pnwbakers.com>
docs/download.html
docs/helpwanted.html
docs/repository.html
docs/shading.html
docs/sourcedocs.html
docs/utilities.html
docs/vmware-guest.html