Remove development > workspace page from nav (!3657) · Merge requests · GitLab.org / GitLab Docs · GitLab

Sarah German requested to merge remove-dev-workspace-nav into main Mar 13, 2023

This page was renamed in this MR: gitlab!114413 (merged)

So, we need to remove the old page from the navigation in order to fix our failing test_global_nav_links CI job: https://gitlab.com/gitlab-org/gitlab-docs/-/pipelines/804779662/failures