Skip to content

[chore] Start clearing out open pull requests #2195

@jneen

Description

@jneen

There are currently about 100 open PRs, many of which are simple bugfixes or lexer contributions that we haven't had the time to review. Goal over the next few months is to cut that down by half at least.

I'll also do an audit of the auto-closed PRs, since maintenance on this repo has been fairly passive over the last few years.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions