Rename Source Code dev page
Add navigation item to global navigation
Rename one page and delete another.
-
Link to the merge request that introduced the new page: Improve Source Code Management technical docs (gitlab!139556 - merged) -
Give the MR a descriptive title. -
Optional. Link to the review app showing the new page: