diff options
| author | Eric Engestrom <[email protected]> | 2018-09-21 14:39:53 +0100 |
|---|---|---|
| committer | Eric Engestrom <[email protected]> | 2018-09-22 17:23:18 +0100 |
| commit | ae2694efe06807a24ada97bcdd55da91f51d3c59 (patch) | |
| tree | f3222d26cf793d816119dd088b822f2afb92e66c /docs/download.html | |
| parent | c95dd966c4362ef75bab1664726533c017a9b331 (diff) | |
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 <[email protected]>
Reviewed-by: Emil Velikov <[email protected]>
Reviewed-by: Dylan Baker <[email protected]>
Diffstat (limited to 'docs/download.html')
| -rw-r--r-- | docs/download.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/download.html b/docs/download.html index 6b2b60cd606..86b4d5063c5 100644 --- a/docs/download.html +++ b/docs/download.html @@ -102,9 +102,9 @@ In the past, GLUT, GLU and the Mesa demos were released in conjunction with Mesa releases. But since GLUT, GLU and the demos change infrequently, they were split off into their own git repositories: -<a href="https://cgit.freedesktop.org/mesa/glut/">GLUT</a>, -<a href="https://cgit.freedesktop.org/mesa/glu/">GLU</a> and -<a href="https://cgit.freedesktop.org/mesa/demos/">Demos</a>, +<a href="https://gitlab.freedesktop.org/mesa/glut">GLUT</a>, +<a href="https://gitlab.freedesktop.org/mesa/glu">GLU</a> and +<a href="https://gitlab.freedesktop.org/mesa/demos">Demos</a>, </p> </div> |