Michael Bolin
|
8dec33d52e
|
fix: change create_github_release to take either --create-alpha or --create-release
|
2025-09-05 19:57:39 -07:00 |
|
Michael Bolin
|
d252d6a2cd
|
chore: use gh instead of git to do work to avoid overhead of a local clone
|
2025-09-05 19:10:42 -07:00 |
|
Michael Bolin
|
b28a193128
|
chore: change create_github_release to create a fresh clone in a temp directory
|
2025-09-05 18:54:53 -07:00 |
|
Michael Bolin
|
063e923c6e
|
chore: rewrite codex-rs/scripts/create_github_release.sh in Python
|
2025-09-05 18:45:32 -07:00 |
|