Skip to content

feat: allow users to use their grammars#86

Merged
jose-rZM merged 10 commits into
developfrom
feature/develop-67-AllowUsersToUseTheirGrammars
Jun 11, 2026
Merged

feat: allow users to use their grammars#86
jose-rZM merged 10 commits into
developfrom
feature/develop-67-AllowUsersToUseTheirGrammars

Conversation

@jose-rZM

@jose-rZM jose-rZM commented Jun 11, 2026 •
edited
Loading

Copy link
Copy Markdown
Owner

Implements #67

  • Allow users to use their grammars instead of a random one before starting a tutor

Note:

  • Since this is a local app, score is acc as always, so "farming" is allowed

@jose-rZM jose-rZM added this to the Roadmap 2026 milestone Jun 11, 2026
@jose-rZM jose-rZM self-assigned this Jun 11, 2026
@jose-rZM jose-rZM added the enhancement New feature or request label Jun 11, 2026
@sonarqubecloud

sonarqubecloud Bot commented Jun 11, 2026

Copy link
Copy Markdown

Quality Gate Passed Quality Gate passed

Issues
11 New issues
0 Accepted issues

Measures
0 Security Hotspots
92.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud

@jose-rZM jose-rZM linked an issue Jun 11, 2026 that may be closed by this pull request
Allow users to use their grammars #67
Closed
@jose-rZM jose-rZM merged commit df02063 into develop Jun 11, 2026
2 checks passed
@jose-rZM jose-rZM deleted the feature/develop-67-AllowUsersToUseTheirGrammars branch June 11, 2026 20:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@jose-rZM jose-rZM

Labels

enhancement New feature or request

Projects

None yet

Milestone

Roadmap 2026

Development

Successfully merging this pull request may close these issues.

Allow users to use their grammars

1 participant

@jose-rZM