Skip to content

Remove unnecessary cloning#142

Merged
jrmoulton merged 1 commit intojrmoulton:mainfrom
petersimonsson:cleanup
Jan 3, 2025
Merged

Remove unnecessary cloning#142
jrmoulton merged 1 commit intojrmoulton:mainfrom
petersimonsson:cleanup

Conversation

@petersimonsson
Copy link
Collaborator

No description provided.

@jrmoulton jrmoulton merged commit 453896b into jrmoulton:main Jan 3, 2025
@petersimonsson petersimonsson deleted the cleanup branch January 4, 2025 15:10
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