Skip to content

utils/git: typed: strict#21162

Merged
MikeMcQuaid merged 1 commit intomainfrom
git-type-strict
Dec 2, 2025
Merged

utils/git: typed: strict#21162
MikeMcQuaid merged 1 commit intomainfrom
git-type-strict

Conversation

@cho-m
Copy link
Copy Markdown
Member

@cho-m cho-m commented Dec 2, 2025

  • Have you followed the guidelines in our Contributing document?
  • Have you checked to ensure there aren't other open Pull Requests for the same change?
  • Have you added an explanation of what your changes do and why you'd like us to include them?
  • Have you written new tests for your changes? Here's an example.
  • Have you successfully run brew lgtm (style, typechecking and tests) with your changes locally?

Part of:

I did change Utils::Git.version to use Version::NULL rather than nil as it simplifies some types.

Copy link
Copy Markdown
Member

@MikeMcQuaid MikeMcQuaid left a comment

Choose a reason for hiding this comment

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

Thanks!

@MikeMcQuaid MikeMcQuaid added this pull request to the merge queue Dec 2, 2025
Merged via the queue into main with commit 068a036 Dec 2, 2025
42 checks passed
@MikeMcQuaid MikeMcQuaid deleted the git-type-strict branch December 2, 2025 19:31
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.

3 participants