Hi Scott,
On Wed, 10 Oct 2012 17:02:18 -0500, Scott Wood scottwood@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,