83b8940024
- Remove broken `git push origin HEAD` in detached HEAD state (commit artifacts are already pushed via the "Create release branch" step) - Make subtag push idempotent: use explicit refs/tags/ prefix and tolerate already-existing remote tags after verifying they point to the correct commit Co-Authored-By: Claude <noreply@anthropic.com> Signed-off-by: Andrei Kvapil <kvapss@gmail.com> |
||
|---|---|---|
| .. | ||
| ISSUE_TEMPLATE | ||
| workflows | ||
| CODEOWNERS | ||
| PULL_REQUEST_TEMPLATE.md | ||