Open
filiptronicek
opened this issue 2 years ago
•
0 comments
Description
A minimal PR for changing the heading level of mainConfiguration inside of the .gitpod.yml reference page, since as it is now it looks like it belongs to the tasks configuration.
This also updates the table of contents of the page.