doc-user: Adds platform index

hoijui · Jan 11, 2024 · d1cb6f4 · d1cb6f4
1 parent 1059240
commit d1cb6f4
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/doc/user/README.md b/doc/user/README.md
@@ -28,6 +28,9 @@ to check the quality of whatever is inside the repo.
 Depending on where you host your OSH projects git repo,
 you need to set it up slightly differently:
 
+- [GitHub](#github)
+- [GitLab](#gitlab)
+
 ### GitHub
 
 Make sure you have a directory structure like this in your repo: