Skip to content

Changes 'view objectives' verb to 'view intel objectives' verb, in line with 'view research objectives' #3054

Changes 'view objectives' verb to 'view intel objectives' verb, in line with 'view research objectives'

Changes 'view objectives' verb to 'view intel objectives' verb, in line with 'view research objectives' #3054

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