Skip to content

migration to git notes#74

Merged
svarlamov merged 4 commits intomainfrom
feat/git-notes-for-authorship
Oct 5, 2025
Merged

migration to git notes#74
svarlamov merged 4 commits intomainfrom
feat/git-notes-for-authorship

Conversation

@acunniffe
Copy link
Copy Markdown
Collaborator

@acunniffe acunniffe commented Oct 5, 2025

We decided to move to git notes ahead of 1.0 for a few reasons

  • authorship refs are under a tree leading to faster lookup.
  • gc and tools that reduce size of git repos are not likely to delete notes

Practically it's not much different, but feel like it's good to move the project this direction before marking 1.0

@acunniffe acunniffe force-pushed the feat/git-notes-for-authorship branch from eb79900 to 3dc1694 Compare October 5, 2025 19:34
@svarlamov svarlamov merged commit a19883c into main Oct 5, 2025
3 checks passed
@svarlamov svarlamov deleted the feat/git-notes-for-authorship branch October 5, 2025 20:44
@acunniffe acunniffe restored the feat/git-notes-for-authorship branch October 6, 2025 09:19
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