diff --git a/external/contribute/web-ide/web-ide.md b/external/contribute/web-ide/web-ide.md index 06c8180fbe24e07bc5baba4888fac330805eca07..042c2f1908e6881a51c0bf7550d000bed4454b7a 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`).