Skip to content

Add Contributing.md guidelines#2244

Merged
jneen merged 4 commits intomainfrom
maint.contributing-docs
Mar 6, 2026
Merged

Add Contributing.md guidelines#2244
jneen merged 4 commits intomainfrom
maint.contributing-docs

Conversation

@jneen
Copy link
Copy Markdown
Member

@jneen jneen commented Mar 6, 2026

Adds a Contributing.md file to clarify the policy for merging lexers.

Pinging @tancnle since I've mentioned you as a contact for GitLab - is this alright? If so, is there a separate (maybe email-based) contact you'd prefer?

@jneen jneen force-pushed the maint.contributing-docs branch from 868d33a to 73890dd Compare March 6, 2026 16:41
@jneen
Copy link
Copy Markdown
Member Author

jneen commented Mar 6, 2026

Merging for now, feel free to update the contact section as you like @tancnle.

@jneen jneen added this pull request to the merge queue Mar 6, 2026
Merged via the queue into main with commit 4b84fc2 Mar 6, 2026
10 checks passed
@jneen jneen deleted the maint.contributing-docs branch March 6, 2026 23:06
@nyriacapers

This comment was marked as off-topic.

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