diff --git a/.github/workflows/remove_guide_comments.yml b/.github/workflows/remove_guide_comments.yml deleted file mode 100644 index d5d405909e..0000000000 --- a/.github/workflows/remove_guide_comments.yml +++ /dev/null @@ -1,18 +0,0 @@ -# Removes guide comments from PRs when opened, so that when we merge them -# and reuse the pull request description, the clutter is not left behind -name: Remove guide comments -on: - pull_request_target: - types: [opened] -jobs: - remove_guide_comments: - runs-on: ubuntu-latest - steps: - - name: Checkout - uses: actions/checkout@v3 - - name: Remove guide comments - uses: actions/github-script@v6 - with: - script: | - const { removeGuideComments } = await import('${{ github.workspace }}/tools/pull_request_hooks/removeGuideComments.js') - await removeGuideComments({ github, context })