Re: [DISCUSS] About the PR merging policy

2018-12-12 Thread Anton Chernov
There was no policy setup before for this as far as I know. Personally, I don't see any value in introducing another blocker for enough slow process of PR merges. The best value / burden ratio one gets from lightweight 'another pair of eyes' approach. Anton ср, 12 дек. 2018 г. в 01:24, Tianqi Ch

Re: [DISCUSS] About the PR merging policy

2018-12-12 Thread Carin Meier
Qing - thanks for bringing this up. I think it would be a good thing to have a document on the wiki to help with these sorts of questions. In fact, since the project is growing with more new committers, maybe we could use a "New Committer Guide" with the process of how to get going and any FAQ li