From cc27e5e5270d6a4ec12ce7e8eab4c04db12ffbfa Mon Sep 17 00:00:00 2001 From: Tom French Date: Tue, 27 Feb 2024 11:20:15 +0000 Subject: [PATCH 1/2] chore: fix force-push warning for external contributors --- .github/workflows/pull-request-title.yml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.github/workflows/pull-request-title.yml b/.github/workflows/pull-request-title.yml index 8f863160cf1..7e9b729da28 100644 --- a/.github/workflows/pull-request-title.yml +++ b/.github/workflows/pull-request-title.yml @@ -39,6 +39,10 @@ jobs: - name: Post comment on force pushes uses: marocchino/sticky-pull-request-comment@v2 with: - path: ./.github/EXTERNAL_CONTRIBUTOR_PR_COMMENT.md + message: | + Thank you for your contribution to the Noir language. + Please **do not force push to this branch** after the Noir team have started review of this PR. Doing so will only delay us merging your PR as we will need to start the review process from scratch. + + Thanks for your understanding. \ No newline at end of file From 3f79d56c9aef55c1a1cc9cc7f482c64a7d771863 Mon Sep 17 00:00:00 2001 From: Tom French Date: Tue, 27 Feb 2024 11:20:41 +0000 Subject: [PATCH 2/2] chore: delete unused file --- .github/EXTERNAL_CONTRIBUTOR_PR_COMMENT.md | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 .github/EXTERNAL_CONTRIBUTOR_PR_COMMENT.md diff --git a/.github/EXTERNAL_CONTRIBUTOR_PR_COMMENT.md b/.github/EXTERNAL_CONTRIBUTOR_PR_COMMENT.md deleted file mode 100644 index 4031bcdb61c..00000000000 --- a/.github/EXTERNAL_CONTRIBUTOR_PR_COMMENT.md +++ /dev/null @@ -1,5 +0,0 @@ -Thank you for your contribution to the Noir language. - -Please **do not force push to this branch** after the Noir team have reviewed this PR. Doing so will only delay us merging your PR as we will need to start the review process from scratch. - -Thanks for your understanding. \ No newline at end of file