Skip to content

Use Git identity for command-line commits#9

Merged
Gabriel-Darbord merged 1 commit into
mainfrom
codex/use-git-commit-identity
Jun 30, 2026
Merged

Use Git identity for command-line commits#9
Gabriel-Darbord merged 1 commit into
mainfrom
codex/use-git-commit-identity

Conversation

@Gabriel-Darbord

Copy link
Copy Markdown
Member

Summary

  • Stop forcing compatibility author environment variables around command-line Git commits
  • Let Git resolve repository/global commit identity normally
  • Populate the synthetic Iceberg commit author from the actual Git commit
  • Add a regression test proving repo-local Git identity is used

Verification

  • Pharo 13: PharoCompatibilityP12SurfacePharo13Test passed, 4 tests
  • Pharo 13: PharoCompatibility test packages passed, 9 tests
  • Committed this branch through repository_commit and verified the actual Git author is Gabriel-Darbord <gabriel.darbord@berger-levrault.com>

Co-authored-by: Codex <codex@openai.com>
@Gabriel-Darbord Gabriel-Darbord merged commit 83cdaa7 into main Jun 30, 2026
3 checks passed
@Gabriel-Darbord Gabriel-Darbord deleted the codex/use-git-commit-identity branch June 30, 2026 12:17
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