How about 6 months? And closing it if there’s been no follow-up to the bot’s 
comment after 3 months?

Rebecca

On Mon, Oct 28, 2024, at 11:43 PM, Michael D Kinney wrote:
> 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 (#120692): https://edk2.groups.io/g/devel/message/120692
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]
-=-=-=-=-=-=-=-=-=-=-=-


Reply via email to