Skip to content

Update: repo structure; add list cli option#8

Merged
dalmijn merged 1 commit into
mainfrom
update/structure
Jun 1, 2026
Merged

Update: repo structure; add list cli option#8
dalmijn merged 1 commit into
mainfrom
update/structure

Conversation

@dalmijn

@dalmijn dalmijn commented Jun 1, 2026

Copy link
Copy Markdown
Collaborator

Issue addressed

Fixes #

Explanation

Explain how you addressed the bug/feature request, what choices you made and why.

Checklist

  • Updated tests or added new tests
  • Branch is up to date with main
  • Tests & pre-commit hooks pass
  • Updated documentation if needed

Additional Notes (optional)

Add any additional notes or information that may be helpful.

@dalmijn dalmijn merged commit e924efe into main Jun 1, 2026
5 checks passed
@dalmijn dalmijn deleted the update/structure branch June 1, 2026 11:06
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