Skip to content

Conversation

ethomson
Copy link
Member

Provide a git init command. This has been very useful, and has elucidated problems which these PRs address:

@ethomson ethomson merged commit 800a953 into main Dec 28, 2024
19 checks passed
@ethomson ethomson deleted the ethomson/cli branch December 28, 2024 00:33
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.

1 participant