chore(gha): comment on PR about reviews

[jhchabran]

Implements https://www.notion.so/sourcegraph/Set-up-a-restriction-on-PRs-to-require-approval-for-merging-89710798660744e8a84dab75a17deb85?pvs=4

[netlify]

✅ Deploy Preview for sourcegraph-handbook ready!

Name	Link
🔨 Latest commit	f793ebc
🔍 Latest deploy log	https://app.netlify.com/sites/sourcegraph-handbook/deploys/664350a428a32d0008f0cbae
😎 Deploy Preview	https://deploy-preview-8942--sourcegraph-handbook.netlify.app
📱 Preview on mobile	Toggle QR Code... Use your smartphone camera to open QR code link.

---

To edit notification comments on pull requests, go to your Netlify site configuration.

[github-actions]

⚠️ As we're migrating to Notion, we want to make sure that changes to the handbook are only absolutely necessary. To ensure it'is the case, it's now mandatory to get an approving review to merge a pull request.

[github-actions]

⚠️ As we're migrating to Notion, we want to make sure that changes to the handbook are absolutely necessary. To ensure it is the case, it's now mandatory to get an approving review to merge a pull request.

Examples

• Setting up a redirection to a Notion page: PR will be approved.
• Correcting an important mistake on a page that doesn't have an equivalent yet: PR will be approved.
• Updating content that isn't mission critical: PR will be rejected.

[github-actions]

⚠️ As we're migrating to Notion, we want to make sure that changes to the handbook are absolutely necessary. To ensure it is the case, it's now mandatory to get an approving review to merge a pull request.

Examples

• Setting up a redirection to a Notion page: PR will be approved.
• Correcting an important mistake on a page that doesn't have an equivalent yet: PR will be approved.
• Updating content that isn't mission critical: PR will be rejected.

[github-actions]

⚠️ As we're migrating to Notion, we want to make sure that changes to the handbook are absolutely necessary. To ensure it is the case, it's now mandatory to get an approving review to merge a pull request.

Examples

• Setting up a redirection to a Notion page: PR will be approved.
• Correcting an important mistake on a page that doesn't have an equivalent yet: PR will be approved.
• Updating content that isn't mission critical: PR will be rejected.

[github-actions]

⚠️ As we're migrating to Notion, we want to make sure that changes to the handbook are absolutely necessary. To ensure it is the case, it's now mandatory to get an approving review to merge a pull request.

Examples

• Setting up a redirection to a Notion page: PR will be approved.
• Correcting an important mistake on a page that doesn't have an equivalent yet: PR will be approved.
• Updating content that isn't mission critical: PR will be rejected.

Sourcegraphers: Reach out to #wg-notion if you have any question.

[burmudar]

@jhchabran what do you think of... see https://github.com/orgs/community/discussions/16925

Warning

As we're migrating to Notion, we want to make sure that changes to the handbook are absolutely necessary. To ensure it is the case, it's now mandatory to get an approving review to merge a pull request.

Examples

• Setting up a redirection to a Notion page: PR will be approved.
• Correcting an important mistake on a page that doesn't have an equivalent yet: PR will be approved.
• Updating content that isn't mission critical: PR will be rejected.

Sourcegraphers: Reach out to #wg-notion if you have any question.

[github-actions]

Warning

As we're migrating to Notion, we want to make sure that changes to the handbook are absolutely necessary. To ensure it is the case, it's now mandatory to get an approving review to merge a pull request.

Examples

• Setting up a redirection to a Notion page: PR will be approved.
• Correcting an important mistake on a page that doesn't have an equivalent yet: PR will be approved.
• Updating content that isn't mission critical: PR will be rejected.

Sourcegraphers: Reach out to #wg-notion if you have any question.