A little question about doc bot

[ZhangJian He]

Can we check the pr is labeled after a time interval?
Now the bot check the pr immediately, I clicked the checkbox after post.
So there are always two comments. I wonder if just one comment is better. 😀



Thanks,
ZhangJian He