just to make sure i am not doing anything wrong: My PR #14186 was approved a bit over a month ago but has bot been merged yet. Is there something i need to do to get it merged or is it just so that the maintainers are busy doing other stuff at the moment ? I assume the latter since there are a lot of other PRs waiting to be merged also. Just wanted to make sure its not because i missed to do something.
That is correct. You can’t even see who is in it unless you’re in it.
I asked about this a few weeks ago during the M1 discussion and was told that there would be some sort of push to get new bindings merged in soon. There’s over 30 in the backlog (a handful are stale), and well over a dozen ready for final review, some waiting north of a year. I’ve got one in the queue myself, one about to be submitted for review this week, and a third that I’m going to hit right after.
So, thanks everyone for the infos so far.
I take it that at the moment there is no way to know who to ask for an review ?
Thats… weird. Wouldn`t it be easy enough to somehow publish the members of the maintainers group ?
You can look up the maintainers in github, but that has no benefit as you still cannot push them to do a review for „your“ pull request.
In fact, it might offend maintainers if they get pushed…
Yeah OK i do not want to push it or annoy anyone. I just understood from the answers above that it will not get merged unless i ask an maintainer for an review.
If i just have to wait and it will get reviewed and merged eventually, thats OK - i just wanted to be sure that it is not because i failed to do something.
Just to clarify, only people in the groups can see who is in thr group. If you’re not, you cant even tag the group in a comment on the PR let alone see members.