- From: ddorwin via GitHub <sysbot+gh@w3.org>
- Date: Thu, 02 Jun 2016 22:26:26 +0000
- To: public-html-media@w3.org
ddorwin has just created a new issue for https://github.com/w3c/encrypted-media: == Update the PR merge process in TEAM.md == As discussed in https://lists.w3.org/Archives/Public/public-html-media/2016May/0015.html 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 [TEAM.md](https://github.com/w3c/encrypted-media/blob/gh-pages/TEAM.md). 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: Description`. * 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 account
Received on Thursday, 2 June 2016 22:26:27 UTC