Closed geriom closed 1 year ago
[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: dibyom
The full list of commands accepted by this bot can be found here.
The pull request process is described here
This implementation is completely different from #503 We can merge this one even before addressing the issue in that PR.
(sorry, posted it in the wrong PR a few minutes ago)
Changes
A less intrusive attempt at reordering the left nav tree. This way we don't have to make any changes on each component repo, nor fundamentally change the way we build the site.
/closes #338
Submitter Checklist
These are the criteria that every PR should meet, please check them off as you review them:
See the contribution guide for more details.