Skip to content
Check pull request head branch name

remove the item spacing in category titles so the ascii art looks right #3

Sign in to view logs

remove the item spacing in category titles so the ascii art looks right

remove the item spacing in category titles so the ascii art looks right #3

Workflow file for this run

.github/workflows/check-branch-name.yml at d04e24b
name: Check pull request head branch name
on:
pull_request_target:
types:
- opened
jobs:
check_branch_name:
runs-on: ubuntu-latest
if: github.head_ref == 'master' && github.repository == 'CleverRaven/Cataclysm-DDA'
steps:
- name: Post warning
uses: actions/github-script@v7
with:
github-token: ${{ secrets.GITHUB_TOKEN }}
script: |
await github.rest.issues.createComment({
owner: context.repo.owner,
repo: context.repo.repo,
issue_number: context.issue.number,
body: "You are creating a pull request with the master branch as the head branch. This is likely a mistake unless you really know what you are doing. You may read https://docs.github.com/en/get-started/quickstart/contributing-to-projects#creating-a-branch-to-work-on for a typical workflow of contributing to a project on GitHub."
});