Skip to content

Conversation

@dasormeter
Copy link
Contributor

@dasormeter dasormeter requested a review from sammy-da January 12, 2026 21:26
@dasormeter dasormeter changed the title get rid of leading arrow in commands get rid of leading arrow in commands so they are copyable Jan 12, 2026
@dasormeter dasormeter merged commit c9df4ec into main Jan 12, 2026
5 checks passed
@dasormeter dasormeter deleted the get-rid-of-leading-brace-on-commands branch January 12, 2026 22:36
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