Archive repository

[IsakTheHacker]

To reduce confusion for new contributors, please consider archiving this repository by toggling the option in the GitHub repository settings.

Archiving prevents new issues and pull requests targeted at this repository from being created.

[Viicos]

We're planning on doing it, after releasing 2.13 if we ever (really unlikely but still) need to do a patch release for 2.12.

[IsakTheHacker]

Great, thanks for the quick response.