diff options
author | GitLab Bot <gitlab-bot@gitlab.com> | 2023-12-27 09:07:11 +0300 |
---|---|---|
committer | GitLab Bot <gitlab-bot@gitlab.com> | 2023-12-27 09:07:11 +0300 |
commit | 0878b072b015ae4db00f4824e2f5444d66d5ae5c (patch) | |
tree | 03d76785c776f39efcaae490769848270c5308ec /doc | |
parent | 59c92e3adc265b4c5706ad1e154d9d480e04946b (diff) |
Add latest changes from gitlab-org/gitlab@master
Diffstat (limited to 'doc')
-rw-r--r-- | doc/development/remote_development/index.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/development/remote_development/index.md b/doc/development/remote_development/index.md index a4026e21315..3d85c44961c 100644 --- a/doc/development/remote_development/index.md +++ b/doc/development/remote_development/index.md @@ -4,11 +4,11 @@ group: Web IDE info: Any user with at least the Maintainer role can merge updates to this content. For details, see https://docs.gitlab.com/ee/development/development_processes.html#development-guidelines-review. --- -# Remote Development +# Remote Development developer guidelines [Introduced](https://gitlab.com/gitlab-org/gitlab/-/merge_requests/105783) in GitLab 16.0. -## Workspaces Feature Developer Documentation +## Workspaces feature developer documentation Currently, the majority of the developer documentation for the [Remote Development Workspaces feature](../../user/workspace/index.md) is located in the separate [`gitlab-remote-development-docs` project](https://gitlab.com/gitlab-org/remote-development/gitlab-remote-development-docs/-/blob/main/README.md). |