Skip to content

Conversation

cat-state
Copy link
Collaborator

No description provided.

@cat-state cat-state requested a review from jon-tow February 9, 2023 19:19
Copy link
Collaborator

@jon-tow jon-tow left a comment

Choose a reason for hiding this comment

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

Thanks Aman! Let's merge once builds are passing 👍

Also tagging related (but closed) issue: #211

@cat-state
Copy link
Collaborator Author

Thanks Aman! Let's merge once builds are passing +1

Also tagging related (but closed) issue: #211

ugh, i thought i could get away with using the web editor this time :')

@jon-tow jon-tow merged commit eb62d08 into main Feb 9, 2023
@cat-state cat-state deleted the make-git-check-optional branch February 9, 2023 20:54
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