W3C home > Mailing lists > Public > public-html-media@w3.org > June 2016

[encrypted-media] Update the PR merge process in TEAM.md

From: ddorwin via GitHub <sysbot+gh@w3.org>
Date: Thu, 02 Jun 2016 22:26:26 +0000
To: public-html-media@w3.org
Message-ID: <issues.opened-158253632-1464906385-sysbot+gh@w3.org>
ddorwin has just created a new issue for 

== Update the PR merge process in TEAM.md ==
As discussed in 
 and now being practiced by the ediors, we can use the big green merge
 button for PRs. We need to update the process documented in 

As part of this, we should include guidance about ensuring the commit 
message is clean. For example:

1. Click the green "Merge pull request" button.
1. Choose to squash and merge.
1. Click the green "Confirm squash and merge" button.
1. Clean up the commit summary - single line field of bold text.
   * Generally use the format `Issue #123: Description` or `Fix #123: 
   * Use "Fix" if this merge resolves all items in the issue and the 
issue should be closed.
1. Clean up the additional commit text in the multiline text box below
 the summary.
   * Most often, you will want to delete all the text.
   * The most likely exception is when there was some useful 
additional information in one of the commit messages in the PR. You 
may also want to provide some additional information in addition to 
the summary.

Please view or discuss this issue at 
https://github.com/w3c/encrypted-media/issues/214 using your GitHub 
Received on Thursday, 2 June 2016 22:26:27 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 15:49:09 UTC