| | |
|---|
| | | |
|---|
| | | Do not upload the DMG; it is kept only as a local rollback / install artifact. |
|---|
| | | |
|---|
| | | ## Remote Push Status |
|---|
| | | |
|---|
| | | - Local freeze commit and local annotated tag were created successfully. |
|---|
| | | - Remote push attempted: |
|---|
| | | - `git push origin codex/pro-custom-hotkeys-8.2.0` |
|---|
| | | - `git push origin v8.2.9-build20260630.1617` |
|---|
| | | - Remote push result: not pushed. |
|---|
| | | - Reason: GitHub HTTPS authentication is not available in this environment: `fatal: could not read Username for 'https://github.com': Device not configured`. |
|---|
| | | - Impact: the local repository has a fixed commit and tag for freeze / rollback. Remote backup is still pending until GitHub credentials are available. |
|---|
