Remove deleted gradle doc from nav
Add navigation item to global navigation
-
Link to the merge request that introducedremoved the page: gitlab!119329 (merged) -
Give the MR a descriptive title. -
Optional. Link to the review app showing the new page:
We merged two docs together, redirecting the old one to the first, so we can remove it from the nav.