diff --git a/docs/contributing/gitlab.rst b/docs/devel/contributing/gitlab.rst
similarity index 100%
rename from docs/contributing/gitlab.rst
rename to docs/devel/contributing/gitlab.rst
diff --git a/docs/devel/contributing/index.rst b/docs/devel/contributing/index.rst
index 0b10c61c30f2a1b07b6c64f8d53bc09433fb72cb..a47095978d07aff2f63704f501fcbedb1a81a948 100644
--- a/docs/devel/contributing/index.rst
+++ b/docs/devel/contributing/index.rst
@@ -5,7 +5,7 @@ Contributing
    :maxdepth: 2
    :titlesonly:
 
-   phabricator
+   gitlab
    code-review
    python-style-guide
    git-style-guide
diff --git a/docs/devel/index.rst b/docs/devel/index.rst
index d7dd3fd06ebf5ce2406fb48ccb2f5cd4e4fea584..a9c9a4a05155fa9a76e61399e8299d7b0ba2ac18 100644
--- a/docs/devel/index.rst
+++ b/docs/devel/index.rst
@@ -30,7 +30,7 @@ Getting started
 Contributing
 ------------
 
-* :ref:`patch-submission` → learn how to submit your patches to the
+* :ref:`gitlab-code-submission` → learn how to submit your code to the
   Software Heritage codebase
 * :ref:`code-review` → rules and guidelines to review code in
   Software Heritage