Hi Scott, On Wed, 10 Oct 2012 17:02:18 -0500, Scott Wood <scottw...@freescale.com> 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. _______________________________________________ U-Boot mailing list U-Boot@lists.denx.de http://lists.denx.de/mailman/listinfo/u-boot
