Add GitHub PR Bot Commands page to documentation #4167
Conversation
Fixes #3938 Add a new page "GitHub PR Bot Commands" to the Azure TRE documentation. * Create `docs/tre-developers/github-pr-bot-commands.md` with content from `maintainers.md` related to GitHub PR bot commands. * Update `mkdocs.yml` to include a reference to the new 'GitHub PR Bot Commands' page under the 'Contributing to AzureTRE' section. * Update `maintainers.md` to link to the new page in the docs. --- For more details, open the [Copilot Workspace session](https://copilot-workspace.githubnext.com/microsoft/AzureTRE/issues/3938?shareId=XXXX-XXXX-XXXX-XXXX).
Unit Test Results0 tests 0 ✅ 0s ⏱️ Results for commit 586c885. ♻️ This comment has been updated with latest results. |
|
/test-force-approve |
|
🤖 pr-bot 🤖 ✅ Marking tests as complete (for commit 74cae1f) (in response to this comment from @marrobi) |
There was a problem hiding this comment.
Copilot reviewed 3 out of 3 changed files in this pull request and generated no suggestions.
Comments skipped due to low confidence (1)
docs/tre-developers/github-pr-bot-commands.md:35
- The command
/test-extended-aadshould be corrected to/test-extended-aad.
/test-extended [<sha>]` / `/test-extended-aad [<sha>]`/ `/test-shared-services [<sha>]
|
/help |
|
🤖 pr-bot 🤖 Hello! You can use the following commands: (in response to this comment from @jonnyry) |
|
LGTM |
|
/test-force-approve |
|
🤖 pr-bot 🤖 ✅ Marking tests as complete (for commit 586c885) (in response to this comment from @marrobi) |
Fixes #3938
Add a new page "GitHub PR Bot Commands" to the Azure TRE documentation.
docs/tre-developers/github-pr-bot-commands.mdwith content frommaintainers.mdrelated to GitHub PR bot commands.mkdocs.ymlto include a reference to the new 'GitHub PR Bot Commands' page under the 'Contributing to AzureTRE' section.maintainers.mdto link to the new page in the docs.For more details, open the Copilot Workspace session.