why do these 2 prs not have the stale label?
Because of the
needs: independent fix. It was a request of @Emilio Jesús Gallego Arias to not make these PRs stale.
Maybe it is not useful, so feel free to remove it
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: Dec 06 2023 at 15:01 UTC