Skip to content

Remove legacy GitHub release helpers#147

Merged
cbusillo merged 1 commit into
mainfrom
remove/legacy-github-release-scripts
May 26, 2026
Merged

Remove legacy GitHub release helpers#147
cbusillo merged 1 commit into
mainfrom
remove/legacy-github-release-scripts

Conversation

@cbusillo
Copy link
Copy Markdown
Owner

Summary

  • remove obsolete code-rs/scripts/create_github_release* helpers that still create rust-v* releases
  • update the TUI release rehearsal sample to point at the current protected Release workflow

Refs #130

Validation

  • rg -n "create_github_release|scripts/create_github_release|Release rehearsal" code-rs scripts docs README.md .github justfile --glob "!codex-rs/**" --glob "!target/**" --glob "!code-rs/target/**"
  • ./build-fast.sh

@cbusillo cbusillo merged commit 6249104 into main May 26, 2026
1 check passed
@cbusillo cbusillo deleted the remove/legacy-github-release-scripts branch May 26, 2026 01:02
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