Hello, We recently activated the Doc Bot on GitHub, to help people tag properly the PRs.
It is using my account, so it LOOKS LIKE I am adding comments about the need for documentation. We (with Yu Liu and Tao Feng) are working on a fix for this. We would probably need some Apache Pulsar BOT user, we need help from someone who previously set up other bots in the Pulsar project (Matteo?) in order to create this new dummy user or use an existing one Any help would be appreciated Best Regards Enrico
