From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail05.groups.io (mail05.groups.io [45.79.224.7]) by spool.mail.gandi.net (Postfix) with ESMTPS id D9CA0D80C7F for ; Tue, 5 Nov 2024 13:08:37 +0000 (UTC) DKIM-Signature: a=rsa-sha256; bh=gS4L3+ZQDg+yZXn/+wCW8MKMzS8oN52tEeo8MKBpRH0=; c=relaxed/simple; d=groups.io; h=Date:From:To:Cc:Subject:Message-ID:References:MIME-Version:In-Reply-To:Precedence:List-Subscribe:List-Help:Sender:List-Id:Mailing-List:Delivered-To:Resent-Date:Resent-From:Reply-To:List-Unsubscribe-Post:List-Unsubscribe:Content-Type:Content-Disposition; s=20240830; t=1730812117; v=1; x=1731071316; b=cgZxJfdDEs2KnOxAS3SrQM8jg9L9cU64ezdQW1+bj2BekqBlMZVgibGLn/GRjtDSYGso43Ct nV4UaR8Ne0h6jvW8iXwB3f5a41dgEORhxDWCi9Shl7sy3o++mRjesdkroFj+tYbS/kkQK2wiDyO LA6eATDyeLrkvW2diEUMxo2bC+sl6U2FtHxtuzSu/J1YjriDijtWaM6arGjH8Ix64sc0EWW0D/v 044cbvf8U9qL/tyYnOwGBDs6c+kBiNUhBLHFoH3MlMhNI8+vDEgA8aPY91YQGo11zv5a9x/fi5+ +n77vEGGzNBMDJheo91OIaACnQ9GIpvoTLvnynqwllc6Q== X-Received: by 127.0.0.2 with SMTP id ZvAMYY7687511xQgR5QuXkQc; Tue, 05 Nov 2024 05:08:36 -0800 X-Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.133.124]) by mx.groups.io with SMTP id smtpd.web10.17627.1730812115574544428 for ; Tue, 05 Nov 2024 05:08:35 -0800 X-Received: from mx-prod-mc-04.mail-002.prod.us-west-2.aws.redhat.com (ec2-54-186-198-63.us-west-2.compute.amazonaws.com [54.186.198.63]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-346-3mdRYFc2PDOER7PnlsND4g-1; Tue, 05 Nov 2024 08:08:32 -0500 X-MC-Unique: 3mdRYFc2PDOER7PnlsND4g-1 X-Received: from mx-prod-int-04.mail-002.prod.us-west-2.aws.redhat.com (mx-prod-int-04.mail-002.prod.us-west-2.aws.redhat.com [10.30.177.40]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mx-prod-mc-04.mail-002.prod.us-west-2.aws.redhat.com (Postfix) with ESMTPS id 3F44C19560B4; Tue, 5 Nov 2024 13:08:31 +0000 (UTC) X-Received: from dobby.home.kraxel.org (unknown [10.39.195.58]) by mx-prod-int-04.mail-002.prod.us-west-2.aws.redhat.com (Postfix) with ESMTPS id D703C19560AA; Tue, 5 Nov 2024 13:08:30 +0000 (UTC) X-Received: by dobby.home.kraxel.org (Postfix, from userid 1000) id 151D822B2A0; Tue, 5 Nov 2024 14:08:27 +0100 (CET) Date: Tue, 5 Nov 2024 14:08:27 +0100 From: "Gerd Hoffmann" To: devel@edk2.groups.io, rebecca@bsdio.com Cc: "Kinney, Michael D" Subject: Re: [edk2-devel] Could we reconsider the GitHub stale PR bot please? Message-ID: References: <471e9604-b611-4051-80b8-6ef7f244d2d7@bsdio.com> MIME-Version: 1.0 In-Reply-To: <471e9604-b611-4051-80b8-6ef7f244d2d7@bsdio.com> X-Scanned-By: MIMEDefang 3.0 on 10.30.177.40 X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Precedence: Bulk List-Subscribe: List-Help: Sender: devel@edk2.groups.io List-Id: Mailing-List: list devel@edk2.groups.io; contact devel+owner@edk2.groups.io Resent-Date: Tue, 05 Nov 2024 05:08:35 -0800 Resent-From: kraxel@redhat.com Reply-To: devel@edk2.groups.io,kraxel@redhat.com List-Unsubscribe-Post: List-Unsubscribe=One-Click List-Unsubscribe: X-Gm-Message-State: 2rFWRPV4HAJsleqtYLpPu3hex7686176AA= Content-Type: text/plain; charset=us-ascii Content-Disposition: inline X-GND-Status: LEGIT Authentication-Results: spool.mail.gandi.net; dkim=pass header.d=groups.io header.s=20240830 header.b=cgZxJfdD; spf=pass (spool.mail.gandi.net: domain of bounce@groups.io designates 45.79.224.7 as permitted sender) smtp.mailfrom=bounce@groups.io; dmarc=fail reason="SPF not aligned (relaxed), DKIM not aligned (relaxed)" header.from=redhat.com (policy=none) 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/7686176 Group Owner: devel+owner@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [rebecca@openfw.io] -=-=-=-=-=-=-=-=-=-=-=-