mirror of
https://github.com/ChaiScript/ChaiScript.git
synced 2026-05-01 11:29:25 +08:00
The previous commit (5fc11e6) incorrectly removed the ref option from the checkout step. actions/checkout@v6 on pull_request events defaults to the merge ref (detached HEAD), so ref: github.head_ref is required for EndBug/add-and-commit to push back to the PR branch. Requested by @lefticus in PR #691 review. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com> |
||
|---|---|---|
| .. | ||
| workflows | ||
| CONTRIBUTING.md | ||
| ISSUE_TEMPLATE.md | ||
| PULL_REQUEST_TEMPLATE.md | ||