Skip to content

[MIRROR] fixes the mining drill (implant) addition removing all the other options in the adv_mining techtree addon #2473

[MIRROR] fixes the mining drill (implant) addition removing all the other options in the adv_mining techtree addon

[MIRROR] fixes the mining drill (implant) addition removing all the other options in the adv_mining techtree addon #2473

# 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@v7
with:
script: |
const { removeGuideComments } = await import('${{ github.workspace }}/tools/pull_request_hooks/removeGuideComments.js')
await removeGuideComments({ github, context })