Many thanks for your contribution and suggestion! @Enrico @TaoFeng @YongZhang
After observing how other communities achieve this function [1], we will try to use the default token (GITHUB_TOKEN) of GitHub Action. [1]: (https://github.com/actions/starter-workflows/pull/1180) [image: image.png] On Thu, Oct 21, 2021 at 8:08 PM Enrico Olivelli <eolive...@gmail.com> wrote: > 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 > >
