Skip to content

Add message documentation for GitCommitInformation#2458

Merged
doriable merged 2 commits intomainfrom
add-message-docs-to-git-commit-information
Sep 21, 2023
Merged

Add message documentation for GitCommitInformation#2458
doriable merged 2 commits intomainfrom
add-message-docs-to-git-commit-information

Conversation

@doriable
Copy link
Member

@doriable doriable commented Sep 19, 2023

Adds documentation to the GitCommitInformation message.

@doriable doriable requested a review from bufdev as a code owner September 19, 2023 17:28

// GitCommitInformation is the information associated with a Git commit.
// This always includes the hash.
// The author and/or committer user identities are included when available.
Copy link
Member

Choose a reason for hiding this comment

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

Unrelated, but why are author and committer marked optional? Messages have presence by default.

Copy link
Member Author

Choose a reason for hiding this comment

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

Yeah, there was feedback from a different proto a while back to make this explicit, despite the fact that it's already the default. That being said, I think between the message and field documentation, it should be clear, I'll remove the optional.

@doriable doriable requested a review from bufdev September 21, 2023 22:34
@doriable doriable merged commit 4f380fa into main Sep 21, 2023
@doriable doriable deleted the add-message-docs-to-git-commit-information branch September 21, 2023 22:41
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