Re: [Doc] Label Your PR

2021-06-30 Thread Enrico Olivelli
very good. I appreciate very much your efforts in improving the docs and checking on every PR if the change needs updates to the docs Enrico Il giorno mer 30 giu 2021 alle ore 14:43 Anonymitaet _ < anonymita...@hotmail.com> ha scritto: > Hi all, > > > > Recently, our community is on the way to

[Doc] Label Your PR

2021-06-30 Thread Anonymitaet _
Hi all, Recently, our community is on the way to the next milestone and has merged plenty of codes, some engineers proactively add the docs with the code, that is *GREAT*, thank you all! To *improve the productivity and effectiveness of developing contents*, I've added the label `no-need-doc`.