Skip to content

Conversation

@patchback
Copy link

@patchback patchback bot commented Nov 8, 2025

This is a backport of PR #13891 as merged into main (4b73dca).

Not sure why, but it failed without one in CI:

$ gh release create --notes-file gh-release-notes.md --verify-tag "$VERSION" dist/*
failed to run git: fatal: not a git repository (or any of the parent directories): .git

ci: `gh release create` needs a checkout
(cherry picked from commit 4b73dca)
@bluetech bluetech enabled auto-merge November 8, 2025 22:33
@bluetech bluetech merged commit e3b7837 into 9.0.x Nov 9, 2025
33 checks passed
@bluetech bluetech deleted the patchback/backports/9.0.x/4b73dcab02e2414496daf2683ef870719a461ec9/pr-13891 branch November 9, 2025 09:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants