doc/user/project/remote_development/_index.md
{{< details >}}
{{< /details >}}
Remote development is a set of features you can use to make code changes without having to install any dependencies or clone any repositories locally. These features include:
You can use the Web IDE to make, commit, and push changes to a project directly from your web browser. This way, you can update any project without having to install any dependencies or clone any repositories locally.
The Web IDE, however, lacks a native runtime environment where you could compile code, run tests, or generate real-time feedback.
{{< details >}}
{{< /details >}}
You can use workspaces to create a fully featured development environment directly from GitLab. This environment runs on a remote server and provides you with a complete IDE experience without having to install any dependencies or clone repositories locally.
With workspaces, you can: