pull-request-check.yaml

name: latexindent.pl main branch pull request monitor and feedback
# PURPOSE:
#
#       comment on pull requests to the MAIN
#       branch, asking them to be submitted 
#       to develop. 
#
# Note: 
#       
#       this action runs only on MAIN branch
#
  
on:
  pull_request_target:
    branches:
      - main

jobs:
  comment:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/github-script@v7
        with:
          github-token: ${{secrets.GITHUB_TOKEN}}
          script: |
            github.rest.issues.createComment({
              issue_number: context.issue.number,
              owner: context.repo.owner,
              repo: context.repo.repo,
              body: "Thank you for your contribution! Please can you change this pull request so that it goes to the `develop` branch? Thank you" 
            })