Skip to content

Unreserve 'help' so we can use it as a command#10

Merged
evanphx merged 1 commit into
mainfrom
evan/more-help
Mar 13, 2026
Merged

Unreserve 'help' so we can use it as a command#10
evanphx merged 1 commit into
mainfrom
evan/more-help

Conversation

@evanphx

@evanphx evanphx commented Mar 13, 2026

Copy link
Copy Markdown
Contributor

Needed to add miren help

@evanphx evanphx requested a review from a team as a code owner March 13, 2026 17:50
@evanphx evanphx merged commit 8c337ad into main Mar 13, 2026
1 check passed
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