Skip to content

Capture repo attribution metadata#9

Merged
Stephen Belanger (Qard) merged 1 commit into
mainfrom
repo-state-metadata
Jul 7, 2026
Merged

Capture repo attribution metadata#9
Stephen Belanger (Qard) merged 1 commit into
mainfrom
repo-state-metadata

Conversation

@Qard

Copy link
Copy Markdown
Contributor

Summary

  • Capture minimal Git attribution metadata on Codex tracing root spans.
  • Add a small best-effort Git helper for git_origin_url, git_branch, and git_commit_sha.
  • Cover redaction, detached HEAD, non-Git directories, and root-span metadata.

Validation

  • bun run check
  • bun test

@Qard Stephen Belanger (Qard) merged commit 21ea3c5 into main Jul 7, 2026
4 checks passed
@Qard Stephen Belanger (Qard) deleted the repo-state-metadata branch July 7, 2026 16:58
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.

2 participants