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 5C7FC74003A for ; Mon, 6 May 2024 10:00:47 +0000 (UTC) DKIM-Signature: a=rsa-sha256; bh=bSE+6zRyN6XB0gEhFv/T8Y6bdAoyXv0qYf44zDh+rQI=; c=relaxed/simple; d=groups.io; h=MIME-Version:References:In-Reply-To:From:Date:Message-ID:Subject:To:Cc: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; s=20240206; t=1714989646; v=1; b=UvqT1YIgSk+o8ZbWDKCHKE9pWYVr159VtvMGBG0ZZt6/s1Pg3oT8EV8rQC3D8ySoCS/Bqh5h rCoqkyVjYtqdEVKMgneIh7fpzdcUJzBCgQJ3cXgK7r7EanKg+6lxqHfwA6JubpSlUCInzdg4elM PTZCf2n/LLMxxlQYQnt3wOqDbXynDQ5RkL6O33lBxxyXdFJXOsNxwLgfmOATicrrwRL/M3cw6Q+ eiUH12vMKMrn5iwSBG2ElRd6zjJSfQGxB1QiftEqh3HhYFSn93zvAQYHontl2xzVmWurmcDEDTZ +KqsqrgXE3trWRUedrCkMkNHn03KgXPG864IeYyeYSErg== X-Received: by 127.0.0.2 with SMTP id JrYTYY7687511xL5sK3o3AXC; Mon, 06 May 2024 03:00:46 -0700 X-Received: from dfw.source.kernel.org (dfw.source.kernel.org [139.178.84.217]) by mx.groups.io with SMTP id smtpd.web11.16898.1714989644975783761 for ; Mon, 06 May 2024 03:00:45 -0700 X-Received: from smtp.kernel.org (transwarp.subspace.kernel.org [100.75.92.58]) by dfw.source.kernel.org (Postfix) with ESMTP id 672FB60AE8; Mon, 6 May 2024 10:00:44 +0000 (UTC) X-Received: by smtp.kernel.org (Postfix) with ESMTPSA id 1738DC4AF18; Mon, 6 May 2024 10:00:44 +0000 (UTC) X-Received: by mail-lf1-f45.google.com with SMTP id 2adb3069b0e04-51fcb7dc722so1491953e87.1; Mon, 06 May 2024 03:00:44 -0700 (PDT) X-Forwarded-Encrypted: i=1; AJvYcCU7LtR0gR11QDXQJp7Oo/owMD0rmtF9Jd7xRIMMrOrrkYuOGaXu4IGEeVWZQc7D1ji0tGf4aXvac2qxPrx53f1c61M= X-Gm-Message-State: j87j15iT7Wy1hi7X1tXQAFzvx7686176AA= X-Google-Smtp-Source: AGHT+IEXrVRqIMq/l7TMyG7hXkxCjpEG2VxceKPOLqLq7N36JtdmliK92xRYpShZkU+9yiJe6z5wmpqb1tSuJePpX5w= X-Received: by 2002:ac2:5f07:0:b0:51f:1bf8:3ea6 with SMTP id 7-20020ac25f07000000b0051f1bf83ea6mr2657792lfq.11.1714989642371; Mon, 06 May 2024 03:00:42 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: "Ard Biesheuvel" Date: Mon, 6 May 2024 12:00:30 +0200 X-Gmail-Original-Message-ID: Message-ID: Subject: Re: [edk2-rfc] [edk2-devel] Proposal to switch TianoCore Code Review from email to GitHub Pull Requests on 5-24-2024 To: devel@edk2.groups.io, michael.d.kinney@intel.com Cc: Pedro Falcato , "rfc@edk2.groups.io" , Leif Lindholm , "Andrew Fish (afish@apple.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: Mon, 06 May 2024 03:00:45 -0700 Resent-From: ardb@kernel.org Reply-To: devel@edk2.groups.io,ardb@kernel.org List-Unsubscribe-Post: List-Unsubscribe=One-Click List-Unsubscribe: Content-Type: text/plain; charset="UTF-8" X-GND-Status: LEGIT Authentication-Results: spool.mail.gandi.net; dkim=pass header.d=groups.io header.s=20240206 header.b=UvqT1YIg; dmarc=fail reason="SPF not aligned (relaxed), DKIM not aligned (relaxed)" header.from=kernel.org (policy=none); spf=pass (spool.mail.gandi.net: domain of bounce@groups.io designates 45.79.224.7 as permitted sender) smtp.mailfrom=bounce@groups.io This reminds me: would it be possible to keep track of who merged a PR? (i.e., the person that set the 'push' label) Currently, commits just appear on the branch with the original author and the committer field set to something non-descript, e.g., commit 275d0a39c42ad73a6e4929822f56f5d8c16ede96 (HEAD -> master, origin/master, origin/HEAD) Author: Gerd Hoffmann AuthorDate: Fri Mar 1 08:44:00 2024 +0100 Commit: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> CommitDate: Fri Mar 1 18:47:27 2024 +0000 which means we cannot tell from the git history which maintainer merged this. -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#118593): https://edk2.groups.io/g/devel/message/118593 Mute This Topic: https://groups.io/mt/105873467/7686176 Group Owner: devel+owner@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [rebecca@openfw.io] -=-=-=-=-=-=-=-=-=-=-=-