Skip to content

New "Bulky" computers, small bug fixes also related to computers, addition of altitude controller to the CIC #2897

New "Bulky" computers, small bug fixes also related to computers, addition of altitude controller to the CIC

New "Bulky" computers, small bug fixes also related to computers, addition of altitude controller to the CIC #2897

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