diff options
| author | GitLab Bot <gitlab-bot@gitlab.com> | 2023-12-27 06:07:24 +0300 |
|---|---|---|
| committer | GitLab Bot <gitlab-bot@gitlab.com> | 2023-12-27 06:07:24 +0300 |
| commit | 59c92e3adc265b4c5706ad1e154d9d480e04946b (patch) | |
| tree | 78630f1ce95d3e3190856454a2b7e7a58ed298ab /doc | |
| parent | d6b0aec9b8801487055e096cfe96823424e6f745 (diff) | |
Add latest changes from gitlab-org/gitlab@master
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/development/feature_development.md | 1 | ||||
| -rw-r--r-- | doc/development/remote_development/index.md | 16 | ||||
| -rw-r--r-- | doc/user/workspace/index.md | 1 |
3 files changed, 18 insertions, 0 deletions
diff --git a/doc/development/feature_development.md b/doc/development/feature_development.md index a5a6439b420..59785554ce6 100644 --- a/doc/development/feature_development.md +++ b/doc/development/feature_development.md @@ -97,6 +97,7 @@ Consult these topics for information on contributing to specific GitLab features - [Application limits](application_limits.md) - [AI features](ai_features/index.md) - [Application settings](application_settings.md) +- [Remote Development](remote_development/index.md) ### Import and Export diff --git a/doc/development/remote_development/index.md b/doc/development/remote_development/index.md new file mode 100644 index 00000000000..a4026e21315 --- /dev/null +++ b/doc/development/remote_development/index.md @@ -0,0 +1,16 @@ +--- +stage: Create +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 + +[Introduced](https://gitlab.com/gitlab-org/gitlab/-/merge_requests/105783) in GitLab 16.0. + +## 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). + +Parts of that documentation will eventually be migrated here. diff --git a/doc/user/workspace/index.md b/doc/user/workspace/index.md index d24102afcf9..309c5d19a51 100644 --- a/doc/user/workspace/index.md +++ b/doc/user/workspace/index.md @@ -181,3 +181,4 @@ For more information, see the ## Related topics - [GitLab workspaces demo](https://go.gitlab.com/qtu66q) +- [Developer documentation](../../development/remote_development/index.md)] |