Labels

Something isn't working

Pull requests that update a dependency file

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Experimental changes to a diff that need lots of testing and may or may not work out well

Pull requests that update GitHub Actions code

Good for newcomers

Extra attention is needed

This doesn't seem right

A new type of diff

Pull requests that update Python code

Further information is requested

Specific to the diffing server, rather than diff algorithms

This will not be worked on