In the Github documentation we need to create a new page called "Github PR Bot commands" and it should be a child page of this parent page should be Introduction - Azure TRE (microsoft.github.io)
The content of that page needs to either contain the information from the "maintainers.md" file written in the same format as the documents or at least point to the "maintainers.md" within github
https://github.com/microsoft/AzureTRE/blob/main/maintainers.md
In the Github documentation we need to create a new page called "Github PR Bot commands" and it should be a child page of this parent page should be Introduction - Azure TRE (microsoft.github.io)
The content of that page needs to either contain the information from the "maintainers.md" file written in the same format as the documents or at least point to the "maintainers.md" within github https://github.com/microsoft/AzureTRE/blob/main/maintainers.md