22d9f521d7
Problem: actions/checkout sets an http.extraheader with GITHUB_TOKEN that overrides any credentials in the remote URL, so git push uses GITHUB_TOKEN regardless of the URL — suppressing CI triggers. Solution: unset the extraheader before pushing, forcing git to use the DIGEST_PAT embedded in the remote URL. |
||
|---|---|---|
| .. | ||
| ISSUE_TEMPLATE | ||
| scripts | ||
| workflows | ||
| pre-commit | ||
| pre-push | ||