Skip to content

Withdrawn - #25597

Closed
harrison001 wants to merge 1 commit into
ggml-org:masterfrom
harrison001:grammar-reject-inverted-repetition
Closed

Withdrawn#25597
harrison001 wants to merge 1 commit into
ggml-org:masterfrom
harrison001:grammar-reject-inverted-repetition

Conversation

@harrison001

@harrison001 harrison001 commented Jul 12, 2026 •

Copy link
Copy Markdown
Contributor

Withdrawn by the author; will re-file through the appropriate channel.

@ggml-gh-bot

ggml-gh-bot Bot commented Jul 12, 2026

Copy link
Copy Markdown

Hi @harrison001, thanks for your contribution!

Per our contribution guidelines, the automated PR checker found the following issue(s) that need your attention:

  • PR Template not respected: Please respect the template when creating a new pull request. Make sure to fill out all required sections.

  • Multiple open PRs from a new contributor: We limit new contributors (those without a previously merged PR) to 1 open PR at a time. You currently have 2 open PRs.

  • AI-generated content: This project does not accept PRs, descriptions or commit messages that are fully or predominantly AI-generated. If you have used AI to assist you in writing code, please make sure to disclose that explicitly.


Please note that maintainers reserve the right to make final decisions on PRs. If you believe there is a mistake, please comment below.

@harrison001 harrison001 changed the title grammar : reject inverted repetition range {m,n} (m>n) Withdrawn Jul 12, 2026
@harrison001
harrison001 deleted the grammar-reject-inverted-repetition branch July 12, 2026 21:32
@harrison001
harrison001 restored the grammar-reject-inverted-repetition branch July 12, 2026 22:58
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