-
Notifications
You must be signed in to change notification settings - Fork 10
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add tag to "subscribe" to an issue #194
Comments
Can you be a little more explicit here? What's |
By Lines 106 to 137 in edfd343
In this case, it would be an additional tag we can use to mean that a pull should be treated as though it has an out-of-date CR from you. I think it's the same idea as the "highlight pulls you've commented on," but with a deliberate invocation, rather than just being anything you've commented on. (Both might be worthwhile, but with different displays.) |
I kinda think this would still be good. I'm not sure exactly what the implementation should be, but it shouldn't need to be particularly complex. @lithobraking, can we reopen it? |
I don't think you need permission to re-open. Their intent was to close all the old issues and let folks re-open ones that are still relevant. |
Something like this could also be useful in preventing someone else from merging a pull until you finish CR. |
As a developer
I want to know which pulls I should look at
So that I can avoid wasting effort by forgetting to come back to partially-reviewed pulls
Let's add a tag which immediately marks a pull as having an out-of-date CR from that dev. This makes it easy to both reserve pulls (if you're in the middle of a CR on them) and to mark pulls which you've been involved in (to avoid duplication of effort from other devs).
The text was updated successfully, but these errors were encountered: