Skip to content

Conversation

@rocky
Copy link
Member

@rocky rocky commented Feb 16, 2025

Fixes #4

@rocky rocky requested a review from davidar February 16, 2025 16:14
@rocky
Copy link
Member Author

rocky commented Mar 6, 2025

@davidar Any thoughts on this?

(If no word in a couple of days, I will just merge.)

@davidar
Copy link
Collaborator

davidar commented Mar 8, 2025

Sorry! LGTM

@davidar davidar merged commit f0cc78e into main Mar 8, 2025
2 checks passed
@davidar davidar deleted the add-install-instructions branch March 8, 2025 04: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.

Instructions for local setup from scratch?

3 participants