Stream: Coq devs & plugin devs

Topic: stale?

view this post on Zulip Gaëtan Gilbert (Dec 02 2021 at 14:57):

why do these 2 prs not have the stale label?
https://github.com/coq/coq/pull/11876
https://github.com/coq/coq/pull/13571

view this post on Zulip Théo Zimmermann (Dec 02 2021 at 15:54):

Because of the needs: independent fix. It was a request of @Emilio Jesús Gallego Arias to not make these PRs stale.

view this post on Zulip Emilio Jesús Gallego Arias (Dec 02 2021 at 15:57):

Maybe it is not useful, so feel free to remove it

view this post on Zulip Théo Zimmermann (Dec 02 2021 at 16:17):

If somebody wants to change the criterion (e.g., stop excluding these PRs), feel free to open a PR doing the change (should be easy).

Last updated: Oct 13 2024 at 01:02 UTC