Hi,
the reason I am downvoting the +1 comments is because they do not add anything to the discussion and only cause everyone subscribed to be spammed. Maintainers will work on issues when they have time, one extra comment will rarely change their priorities.
Please use the 👍️ button in the future to let people know you care about the issue. It does not spam people and it is also easier to tally.
Cheers.
Jan
Based on the comments from GitHub employees on other issues I read in the past and the current commit activity, I do not think GitHub cares much about it, as long as it does not break their platform.
I doubt your pinging the issue will bring anyone’s attention to it any more than the people’s before you we downvoted 😜 The only thing it does is annoy people like me, who are subscribed to thousands of issues and receive many +1 comments each week.