Skip to content

ci: use GitHub token in create_additional_release_tag push - #13966

Open
whowes wants to merge 1 commit into
mainfrom
whowes/fix_release_tag
Open

ci: use GitHub token in create_additional_release_tag push#13966
whowes wants to merge 1 commit into
mainfrom
whowes/fix_release_tag

Conversation

@whowes

@whowes whowes commented Jul 30, 2026

Copy link
Copy Markdown
Contributor

This action failed on the most recent full release and the most recent partial release; I suspect it's been broken since persist-credentials was set to false.

Also add ability to specify the ref to check out (e.g. release tag) to make it easier to run this manually when automation fails.

@gemini-code-assist

Copy link
Copy Markdown
Contributor

Note

Gemini is unable to generate a review for this pull request due to the file types involved not being currently supported.

@whowes
whowes force-pushed the whowes/fix_release_tag branch from dc8a806 to 5bd5ca4 Compare July 30, 2026 23:53
@whowes

whowes commented Jul 30, 2026

Copy link
Copy Markdown
Contributor Author

/gemini review

@gemini-code-assist

Copy link
Copy Markdown
Contributor

Note

Gemini is unable to generate a review for this pull request due to the file types involved not being currently supported.

@whowes
whowes marked this pull request as ready for review July 30, 2026 23:55
@whowes
whowes requested review from a team as code owners July 30, 2026 23:55
@whowes
whowes requested a review from blakeli0 July 30, 2026 23:56
@whowes
whowes force-pushed the whowes/fix_release_tag branch from 5bd5ca4 to ef17e05 Compare July 31, 2026 17:32
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.

1 participant