From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from us-smtp-1.mimecast.com (us-smtp-1.mimecast.com [207.211.31.120]) by mx.groups.io with SMTP id smtpd.web12.3780.1578058195388918370 for ; Fri, 03 Jan 2020 05:29:55 -0800 Authentication-Results: mx.groups.io; dkim=pass header.i=@redhat.com header.s=mimecast20190719 header.b=gECE8o06; spf=pass (domain: redhat.com, ip: 207.211.31.120, mailfrom: lersek@redhat.com) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1578058194; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=GfK9b6tx6cbMvtrm7N8yjwCmwg/82HAjj2E09z2DVBc=; b=gECE8o06S9xQO8bOMHvTMDu4H5bkslraxHmEUkesYPEFXzD/jVy4PZZOppBnghaCsqlwFM Yc5UhZMOrVasOjAOXWq5igoTyx/o8vjh+Ek0Ha0UbB+aExFblmlvvS3L0wADNI3IMM++kE evjBamuDVERO0BlRSO+Ol0ngqIoTjS0= Received: from mimecast-mx01.redhat.com (mimecast-mx01.redhat.com [209.132.183.4]) (Using TLS) by relay.mimecast.com with ESMTP id us-mta-427-G-v5nVLEMWuIgFW0VTaiBg-1; Fri, 03 Jan 2020 08:29:53 -0500 Received: from smtp.corp.redhat.com (int-mx08.intmail.prod.int.phx2.redhat.com [10.5.11.23]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mimecast-mx01.redhat.com (Postfix) with ESMTPS id D6D27107ACCA; Fri, 3 Jan 2020 13:29:51 +0000 (UTC) Received: from lacos-laptop-7.usersys.redhat.com (ovpn-116-245.ams2.redhat.com [10.36.116.245]) by smtp.corp.redhat.com (Postfix) with ESMTP id 101D1271B4; Fri, 3 Jan 2020 13:29:47 +0000 (UTC) Subject: Re: [edk2-devel] EDK II Maintainers - EDK II CI is now active on edk2/master To: =?UTF-8?Q?Philippe_Mathieu-Daud=c3=a9?= , devel@edk2.groups.io, michael.d.kinney@intel.com, Sean Brogan , Bret Barkelew , "Gao, Liming" References: From: "Laszlo Ersek" Message-ID: Date: Fri, 3 Jan 2020 14:29:47 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 MIME-Version: 1.0 In-Reply-To: X-Scanned-By: MIMEDefang 2.84 on 10.5.11.23 X-MC-Unique: G-v5nVLEMWuIgFW0VTaiBg-1 X-Mimecast-Spam-Score: 0 Content-Language: en-US Content-Type: text/plain; charset=WINDOWS-1252 Content-Transfer-Encoding: quoted-printable On 01/02/20 15:42, Philippe Mathieu-Daud=E9 wrote: > 1/ Is it possible to have the Mergify bot use the merge request author > name/email as GIT_COMMITTER_[NAME/EMAIL] instead of throwing away this > information from the git history? I noticed that too, but I thought that having a robot rather than a human in the committer meta-datum was tolerable. (Not great, but acceptable.) The authorship meta-datum is still correct, to my understanding. If there's a problem later with a commit, I'd probably email the author (CC list), not the committer. > 2/ Can the Mergify bot send a mail to the list to notify a patch got > merged? >=20 > For example going thru my backlog I was going to review this series: > https://edk2.groups.io/g/devel/message/52613 > But it is already merged... The series subject is "Microcode related > optimizations" and when I searched for it first with the GitHub MR > filter from 1/, I couldn't find it. Later I figured it got merged with > another subject "Mpinitlib opt push 1". >=20 > One way to simplify Mergify to send email, is to ask maintainers to put > the series cover (or each patches) URL in the GitHub merge request > description, or the email Message ID(s). Since we are switching the a > mostly HTTP workflow, using URLs is probably recommended. Including the cover letter contents and/or mailing list reference in the PR description is already recommended practice, to my understanding. The related tianocore BZ should be noted in the PR description too. AIUI, it's also recommended to name the PR in accordance with the series cover letter's subject line. Unfortunately, maintainers don't seem to be following these recommendations. Regarding an email notification about a merge, I have two comments: - Personally, I always follow up with a manual message to the list, once a series is merged, pointing out the new commit range. It's not a huge burden. - Github generates emails about PR actions. Unfortunately, the current scheme for a merge ("Merged #263 into master") is really lacking. It cannot be easily filtered for (you have to check the message body to see it's a "merge"), plus the resultant commit range (-> master branch advance) is not communicated. I don't know if this would be best remedied in the general github.com website code, or in the mergify bot code= . No tooling will ever provide enough information for the community so long as maintainers are unwilling to spend time on administrative actions. The attraction of github.com for the grand public is not that github.com implements these administrative actions itself, un-burdening developers; instead, the attraction is that github.com pretends these actions are not important at all, and so nobody should care about them. You can't really make a tool care if maintainers don't care. Thanks Laszlo