diff --git a/docs/repository.html b/docs/repository.html
index 6f8d65ce366..ad7f90b2604 100644
--- a/docs/repository.html
+++ b/docs/repository.html
@@ -62,7 +62,7 @@ To get the Mesa sources anonymously (read-only):
Developer git Access
-If you wish to become a Mesa developer with git-write privilege, please
+If you wish to become a Mesa developer with gitlab merge privilege, please
follow this procedure:
@@ -70,41 +70,30 @@ follow this procedure:
mesa-dev
mailing list.
- Start contributing to the project by
-submitting patches to
-the mesa-dev list. Specifically,
+submitting patches. Specifically,
-- Use
git send-mail to post your patches to mesa-dev.
+ - Use gitlab to create your merge requests.
- Wait for someone to review the code and give you a
Reviewed-by
statement.
- You'll have to rely on another Mesa developer to push your initial patches
after they've been reviewed.
- After you've demonstrated the ability to write good code and have had
-a dozen or so patches accepted you can apply for an account.
-
- Occasionally, but rarely, someone may be given a git account sooner, but
-only if they're being supervised by another Mesa developer at the same
-organization and planning to work in a limited area of the code or on a
-separate branch.
-
- To apply for an account, follow
-these directions.
-It's also appreciated if you briefly describe what you intend to do (work
-on a particular driver, add a new extension, etc.) in the bugzilla record.
+a dozen or so patches accepted, a maintainer may use their discretion to give
+you access to merge your own code.
-
-Once your account is established, you can update your push url to use SSH:
-
-git remote set-url --push origin git@gitlab.freedesktop.org:mesa/mesa.git
-
+Pushing code to your gitlab account via HTTPS
-You can also use personal access tokens
-to push over HTTPS instead (useful for people behind strict proxies).
+Useful for people behind strict proxies
+
+You can use personal access tokens
+to push over HTTPS if ssh will does not suit your needs.
In this case, create a token, and put it in the url as shown here:
-git remote set-url --push origin https://USER:TOKEN@gitlab.freedesktop.org/mesa/mesa.git
+git remote set-url --push origin https://USER:TOKEN@gitlab.freedesktop.org/your~user~name/mesa.git
-
Windows Users