> Please no. +1
> All these title/tag changes are just noise and we've got enough of that > already. +1 > just ping the best person to review that PR Or, better yet, don't ping anybody and just be patient. At the time of writing this, we have 114 open PRs (and that's after two weeks of constant merging as fast as possible! The number was much higher last month.), and it should be obvious to anybody following Nim's github repo that we have very hard time reviewing and merging them in reasonable time. One person pinging and/or PTAL-ing (which already happens), just gives an impression "look at my stuff, my stuff is more important than all the other stuff by all the other contributors". NO! @timothee If you really want to help us with faster merging of PRs, take a look at those 40 out of 114 (35%!) open PRs which are authored by you. Are all of them really important (for larger Nim audience, not just for your workflow)? How can we review PRs in time if you're constantly flooding us with new stuff? Long story short: new flags or constant pings don't help with faster reviews. Less "privatization" of Nim repo will.
