From 83cfb5c30a54138f81dde015bc5ef734ed027e1f Mon Sep 17 00:00:00 2001 From: Morrow Date: Fri, 13 Oct 2023 21:11:19 -0400 Subject: [PATCH] Shoots guide comment remover --- .github/workflows/remove_guide_comments.yml | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100644 .github/workflows/remove_guide_comments.yml 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 })