Skip to content

Improve getting-started command-line experience#471

Merged
JohT merged 2 commits intomainfrom
feature/improve-command-line-experience
Nov 15, 2025
Merged

Improve getting-started command-line experience#471
JohT merged 2 commits intomainfrom
feature/improve-command-line-experience

Conversation

@JohT
Copy link
Copy Markdown
Owner

@JohT JohT commented Nov 15, 2025

🚀 Feature

⚙️ Optimization

@JohT JohT self-assigned this Nov 15, 2025
@JohT JohT force-pushed the feature/improve-command-line-experience branch from ce7a3ab to df6ae3f Compare November 15, 2025 20:14
@JohT JohT marked this pull request as ready for review November 15, 2025 20:20
@JohT JohT merged commit 58bb3ad into main Nov 15, 2025
8 checks passed
@JohT JohT deleted the feature/improve-command-line-experience branch November 15, 2025 20:47
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