On Mon, Oct 28, 2024 at 08:34:34PM -0600, Rebecca Cran wrote:
> 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.

Why is that a problem?  I still get email notifications in case someone
adds a comment to a PR in closed (or merged) state, so updates do not go
unnoticed.  Also it is always possible to re-open closed PRs.

take care,
  Gerd



-=-=-=-=-=-=-=-=-=-=-=-
Groups.io Links: You receive all messages sent to this group.
View/Reply Online (#120728): https://edk2.groups.io/g/devel/message/120728
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