The Web IDE [https://docs.gitlab.com/ee/user/project/web_ide/] is fully
integrated into the GitLab workflow:
* Edit/upload a file
* Write and code with advanced syntax highlighting & tools tips
* Commit the change, create a branch and Merge Request
* CI/CD feedback on the right, no context