+1 I agree with the cleanup. On Mon, Sep 8, 2025 at 1:31 PM Manikandan R <[email protected]> wrote:
> +1 on the cleanup. > > On Fri, Sep 5, 2025 at 5:53 AM Wilfred Spiegelenburg <[email protected]> > wrote: > > > Hi, > > > > We have a couple of really old PRs in our repositories. They date back > > to 2023 or 2024. > > I would like to propose that we close these old PRs. > > Closing the PR is reversible so if the owner would like to pick them > > up again it is not an issue. > > > > I don't think we need an auto close for stale PRs [1] as has been > > introduced by some other projects as the number of PRs is manageable. > > > > If there is an agreement on this we should close the stale PRs with a > > comment explaining the reason why. > > > > Wilfred > > > > [1] https://github.com/actions/stale > > > > --------------------------------------------------------------------- > > To unsubscribe, e-mail: [email protected] > > For additional commands, e-mail: [email protected] > > > > >
