chore(github): Auto tag Dev Rel on doc-changing PRs

[Savio-Sou]

Description

Problem*

Documentation-changing PRs do not currently notify @noir-lang/developerrelations, which the team prefers (let me know below if that is not actually the case).

Summary*

Extend the documentation preview action to auto-comment and tag @noir-lang/developerrelations on doc-changing PRs.

Preview of how it looks: Savio-Sou#3 (comment)

Documentation*

Check one:

• No documentation needed.
• Documentation included in this PR.
• [Exceptional Case] Documentation to be submitted in a separate PR.

PR Checklist*

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt on default settings.

[github-actions]

🚀 Deployed on https://65cd19afd2a5fb1cb814a63a--noir-docs.netlify.app

[github-actions]

FYI @noir-lang/developerrelations on Noir doc changes.

[iAmMichaelConnor]

Maybe you've considered this already, but I believe GitHub recognises a CODEOWNERS file which can achieve a similar outcome, iiuc

[Savio-Sou]

Thanks @iAmMichaelConnor. The intention here is to inform but not necessarily request reviews from Dev Rel on doc-changing PRs, hence I didn't opt for the CODEOWNERS approach.