Skip to content

Conversation

@DarkaMaul
Copy link
Collaborator

Fixes #21

@DarkaMaul DarkaMaul self-assigned this Jun 21, 2024
@DarkaMaul DarkaMaul marked this pull request as ready for review June 21, 2024 16:13
@woodruffw
Copy link
Member

A few small nitpicks, but looking good overall! I'll do some local testing as well this afternoon.

@facutuesca facutuesca self-requested a review June 26, 2024 14:12
Signed-off-by: William Woodruff <william@trailofbits.com>
Signed-off-by: William Woodruff <william@trailofbits.com>
Needs a follow-up.

Signed-off-by: William Woodruff <william@trailofbits.com>
Signed-off-by: William Woodruff <william@trailofbits.com>
@woodruffw woodruffw merged commit 5d3fc53 into main Jun 26, 2024
@woodruffw woodruffw deleted the dm/cli-tool branch June 26, 2024 19:01
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.

Small CLI driver

4 participants