Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: include git commit in schema #4785

Merged
merged 3 commits into from
Mar 6, 2025
Merged

Conversation

stuartwdouglas
Copy link
Collaborator

fixes: #3277

@stuartwdouglas stuartwdouglas requested review from a team and alecthomas as code owners March 5, 2025 22:46
This was referenced Mar 5, 2025
Copy link
Collaborator

@alecthomas alecthomas left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This isn't part of the type system, it should be runtime metadata.

@alecthomas
Copy link
Collaborator

Disregard!

@@ -329,6 +330,12 @@ message MetadataCalls {
repeated Ref calls = 2;
}

message MetadataCommit {
optional Position pos = 1;
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

As discussed over DM, would be great to have the Git repo here, and maybe rename this to MetadataVCS

@stuartwdouglas stuartwdouglas force-pushed the stuartwdouglas/3277 branch 2 times, most recently from 22fcfcc to fe71951 Compare March 5, 2025 23:35
@stuartwdouglas stuartwdouglas enabled auto-merge (squash) March 6, 2025 00:08
@stuartwdouglas stuartwdouglas merged commit 9714c7d into main Mar 6, 2025
69 checks passed
@stuartwdouglas stuartwdouglas deleted the stuartwdouglas/3277 branch March 6, 2025 00:22
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.

Automatically include short git SHA in each log trace
2 participants