Skip to content

chore: change create_github_release to create a fresh clone in a temp directory - #3228

Merged
bolinfest merged 1 commit into
mainfrom
pr3228
Sep 6, 2025
Merged

chore: change create_github_release to create a fresh clone in a temp directory#3228
bolinfest merged 1 commit into
mainfrom
pr3228

Conversation

@bolinfest

@bolinfest bolinfest commented Sep 6, 2025

Copy link
Copy Markdown
Collaborator

bolinfest added a commit that referenced this pull request Sep 6, 2025
…3226)

Migrating to Python to make this script easier to iterate on.

---
[//]: # (BEGIN SAPLING FOOTER)
Stack created with [Sapling](https://sapling-scm.com). Best reviewed
with [ReviewStack](https://reviewstack.dev/openai/codex/pull/3226).
* #3231
* #3230
* #3228
* __->__ #3226
Base automatically changed from pr3226 to main September 6, 2025 04:54
@bolinfest
bolinfest enabled auto-merge (squash) September 6, 2025 04:56
@bolinfest
bolinfest disabled auto-merge September 6, 2025 04:57
@bolinfest
bolinfest merged commit 066c6cc into main Sep 6, 2025
34 checks passed
@bolinfest
bolinfest deleted the pr3228 branch September 6, 2025 04:57
@github-actions github-actions Bot locked and limited conversation to collaborators Sep 6, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants