I believe the timeframe to mark one stale is configurable. Is there a proposal for a different wait time?
Mike > -----Original Message----- > From: Rebecca Cran <rebe...@bsdio.com> > Sent: Monday, October 28, 2024 7:35 PM > To: devel@edk2.groups.io > Cc: Kinney, Michael D <michael.d.kin...@intel.com> > Subject: Could we reconsider the GitHub stale PR bot please? > > See the attached screenshot or > https://github.com/tianocore/edk2/pull/5907#issuecomment-2408745999 . > > The PR was marked stale by the bot and the PR author only responded two > weeks later - which would have been one week too late. > > Fortunately I noticed and commented to keep it open, but I think we > should reconsider the use of the stale bot. > > > -- > Rebecca -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#120691): https://edk2.groups.io/g/devel/message/120691 Mute This Topic: https://groups.io/mt/109271104/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
