remove_guide_comments.yml

# 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 })