From cb53556df3a9bf24e8d52bcdd7be7bba44bc88e0 Mon Sep 17 00:00:00 2001 From: laurentheirendt <laurent.heirendt@uni.lu> Date: Thu, 8 Apr 2021 10:58:26 +0200 Subject: [PATCH] add link to create fork --- external/contribute/web-ide/web-ide.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/external/contribute/web-ide/web-ide.md b/external/contribute/web-ide/web-ide.md index 06c8180f..042c2f19 100644 --- a/external/contribute/web-ide/web-ide.md +++ b/external/contribute/web-ide/web-ide.md @@ -12,7 +12,7 @@ This shows how to use Gitlab Web IDE to add or edit a howto-card: Before you start, please make sure that you have the correct access rights to edit the repository. -*Note: If you do not have the rights to edit the repository, you can either ask for permissions by contacting the repository maintainers, or use your own copy of the repository (called a `fork`). Please follow [these instructions]](create-fork) to obtain your copy (fork). You can then [mirror the fork automatically](/cards/contribute:mirror-fork) to keep in sync.* +*Note: If you do not have the rights to edit the repository, you can either ask for permissions by contacting the repository maintainers, or use your own copy of the repository (called a `fork`). Please follow [these instructions](https://docs.gitlab.com/ee/user/project/repository/forking_workflow.html#creating-a-fork) to obtain your copy (fork). You can then [mirror the fork automatically](/cards/contribute:mirror-fork) to keep in sync.* A clear difference between editing a file in a git-tracked repository compared to a live document is that you can make an edit directly, and then suggesting the change. You can make this edit on your own version (called a `branch`), and then request to merge your changes into the main repository (through opening a `merge request`). -- GitLab