mirror of
https://github.com/CHOMPStation2/CHOMPStation2.git
synced 2026-01-25 16:54:50 +00:00
2cf7b5e7f4
Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
19 lines
648 B
YAML
19 lines
648 B
YAML
# 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@v5
|
|
- name: Remove guide comments
|
|
uses: actions/github-script@v8
|
|
with:
|
|
script: |
|
|
const { removeGuideComments } = await import('${{ github.workspace }}/tools/pull_request_hooks/removeGuideComments.js')
|
|
await removeGuideComments({ github, context })
|