mirror of
https://github.com/ChaiScript/ChaiScript.git
synced 2026-05-01 03:19:28 +08:00
actions/checkout@v6 defaults to checking out the PR merge ref in detached HEAD state, causing EndBug/add-and-commit to fail with "fatal: You are not currently on a branch." Fix by explicitly checking out the PR's head branch via github.head_ref. 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 | ||