the feature would be optional to use, but PR authors who want to use it can, to increase visibility of their PR (once they've addressed all comments) without having to ping reviewers
it makes those PR's easy to search for and we can easily filter by those in github search UI
PTAL simply means "Please Take Another Look", this practice is common both in tech companies as well as in open source, eg:
and unfortunately github doesn't have this feature builtin, so a tag is the best workaround
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.
> look at my stuff, my stuff is more important than all the other stuff by all the other contributors
that's not the point at all, quite the opposite.
The whole point is for triaging PRs and saving reviewer time by allowing them to filter from those 114 open PR's the ones that are in a ready for review state, without needing to ping anyone / polling
so if someone has N open PRs but only 4 of them are ready for 1st/next round of review, meaning:
then the filtering will only show 4 for that user