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/utilities.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/utilities.html')
| -rw-r--r-- | docs/utilities.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/utilities.html b/docs/utilities.html index 222e7343897..5d7cb17f9dc 100644 --- a/docs/utilities.html +++ b/docs/utilities.html @@ -17,7 +17,7 @@ <h1>Development Utilities</h1> <dl> - <dt><a href="https://cgit.freedesktop.org/mesa/demos">Mesa demos collection</a></dt> + <dt><a href="https://gitlab.freedesktop.org/mesa/demos">Mesa demos collection</a></dt> <dd>includes several utility routines in the <code>src/util/</code> directory.</dd> |