Adding new boards

[christianhalter]

Hello,

I have opened a pull request for a new board months ago, but it is not merged yet. Is there a policy about when are these merges done? Is there something I can do to help with the process? Thanks!

[jonnor]

Hi @christianhalter thank you for your MRs. There are unfortunately over 300 MRs open at the moment. And only a handful of reviewers...
You can ask on the Discord if someone can do a quick (informal) review of your MRs. And/or link them here.

[christianhalter]

I understand. Thanks for your answer!