From mboxrd@z Thu Jan 1 00:00:00 1970 From: Albert ARIBAUD Date: Thu, 11 Oct 2012 18:27:59 +0200 Subject: [U-Boot] U-Boot git usage model In-Reply-To: <1349906538.21493.12@snotra> References: <50759A75.8060105@wwwdotorg.org> <1349906538.21493.12@snotra> Message-ID: <20121011182759.410fdd5f@lilith> List-Id: MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit To: u-boot@lists.denx.de Hi Scott, On Wed, 10 Oct 2012 17:02:18 -0500, Scott Wood wrote: > Ideally once a pull request happens the pull happens quickly. If that > doesn't happen, you could reply to the pull request asking that it be > ignored in favor of a new pull request, or create a new temporary > branch. IMHO pull requests ought to request a pull of a specific SHA1 > along with the branch name (it'd be nice if the command to pull could > verify that the SHA1 is in the history of the branch name, and include > the branch name in the commit message, but merge based on the SHA1). Note that for recent enough versions of git, request-pull will indicate the last commit ID to pull, which makes it possible for them to keep on adding to their branch once their PR is out. Not all U-Boot ARM custodians have a recent enough git, mind. Amicalement, -- Albert.