# GitHub actions workflow.
# https://docs.github.com/en/actions/learn-github-actions/workflow-syntax-for-github-actions

# https://github.com/superbrothers/close-pull-request
name: Close Pull Request

on:
  pull_request_target:
    types: [opened]

jobs:
  run:
    runs-on: ubuntu-latest
    steps:
    - uses: superbrothers/close-pull-request@v3
      with:
        comment: >
          Thanks for your contribution!
          Unfortunately, we don't use GitHub pull requests to manage code
          contributions to this repository.
          Instead, please see [README.md](../blob/HEAD/SUBMITTING_PATCHES.md)
          which provides full instructions on how to get involved.