I'm afraid that adding a tag will modify the pull request, which would not 
be good for my workflow.  Could this be avoided?

Martin

On Friday, 24 January 2025 at 20:55:13 UTC+1 Vincent Macri wrote:

> It seems like adding an "r: stale" or "r: unresponsive" tag might be a 
> better approach with more support then, and we could have it written in 
> the developer guide how long after changes are requested this tag should 
> be applied. Then anyone who is looking to pickup unfinished work can 
> search for that tag, and anyone who in interested in the PR being merged 
> will know that it's probably not coming soon unless someone else steps 
> up to finish it. I think Dima's suggestion of 6 months is good, but if 
> we aren't closing the PR then maybe even 3 months is sufficient. The "r: 
> stale" tag can be viewed as saying that other people should feel free to 
> take over the PR (preferably after checking with the original author if 
> they were planning on finishing it soon, in case they were about to 
> start work on it again or if they have any objection to or advice for 
> someone else finishing their work).
>
> If someone does pickup a stale PR and opens a new PR based on it, should 
> the stale PR be closed when the new PR is opened, or when the new PR is 
> merged? I lean towards when it's opened unless someone can think of a 
> reason to keep open PRs for multiple iterations of the same thing.
>
> Vincent Macri (He/Him)
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion visit 
https://groups.google.com/d/msgid/sage-devel/17fbc9de-e316-439a-9794-b1fc02a603ban%40googlegroups.com.

Reply via email to