Skip to content

Removes some company imports so you have to get them with science, and nerfs crew's retractor plates. #2503

Removes some company imports so you have to get them with science, and nerfs crew's retractor plates.

Removes some company imports so you have to get them with science, and nerfs crew's retractor plates. #2503

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