How do I get traction on PRs sent to Arduino libraries?

[José Tomás Eterovic]

About 2 months ago I wrote a small PR to clean up some code in the ArduinoBLE library (https://github.com/arduino-libraries/ArduinoBLE/pull/302), but I haven't gotten anyone looking at it since. I pinged the PR twice already, but still unsuccessful

Assuming that people would look into an issue, I filed one 10 days ago. One user reacted to it, and another marked my PR as resolving the issue, but still no comments on the PR, nor is it merged

This is my first PR to an Arduino library, although I have made other contributions to Arduino compatible libraries, and I don't know if I'm missing a step in a process or something

Thanks

Joso