Re: [edk2-devel] Could we reconsider the GitHub stale PR bot please?

["Rebecca Cran" <rebecca@bsdio.com>]

On 11/5/24 6:08 AM, Gerd Hoffmann wrote:
> 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.


When I had one of my PRs auto-closed a few months ago I wasn't able to 
re-open it. But that might have been because it was during the freeze.

I was told to create a new PR instead.


-- 
Rebecca



-=-=-=-=-=-=-=-=-=-=-=-
Groups.io Links: You receive all messages sent to this group.
View/Reply Online (#120729): https://edk2.groups.io/g/devel/message/120729
Mute This Topic: https://groups.io/mt/109271104/7686176
Group Owner: devel+owner@edk2.groups.io
Unsubscribe: https://edk2.groups.io/g/devel/unsub [rebecca@openfw.io]
-=-=-=-=-=-=-=-=-=-=-=-