I do know that a lot of projects on github.com (and others) are run by volunteers so I don’t want to nag too loud.
On May 3rd I opened a PR adding some documentation and it has been closed automatically because nobody had a look at it.
I am completely fine if a maintainer tells me that people can just read the source code for the documentation and then closes my PR. (Or that my PR is just bad and I should go away.)
But a bot closing my PR just because nobody had a look at it is just a bit unsatisfying.
Hi @Happy86 , I appreciate you raising this. We are looking into how this communication gap occurred and will get back to you as soon as we have something.