Victor Boivie d572a13021 Added repo cherry-pick command
It is undesired to have the same Change-Id:-line for two separate
commits, and when cherry-picking, the user must manually change it.

If this is not done, bad things may happen (such as when the user
is uploading the cherry-picked commit to Gerrit, it will instead
see it as a new patch-set for the original change, or worse).

repo cherry-pick works the same was as git cherry-pick, except that
it replaces the Change-Id with a new one and adds a reference
back to the commit from where it was picked.

On failures (when git can not successfully apply the cherry-picked
commit), instructions will be written to the user.

Change-Id: I5a38b89839f91848fad43386d43cae2f6cdabf83
2011-04-07 17:19:06 -04:00
..
2008-10-21 07:00:00 -07:00
2011-04-07 17:19:06 -04:00
2008-10-21 07:00:00 -07:00
2010-06-17 19:09:37 -07:00
2011-03-16 12:55:44 -07:00
2008-10-21 07:00:00 -07:00
2010-07-15 17:43:02 -07:00
2010-05-17 09:58:55 -07:00
2011-04-04 11:34:47 -04:00