In Android's gerrit ex: link, to download the patch, I see 4 options.
- repo download
- checkout
- pull
- cherry-pick
What is the difference between them?
Here is what I think of them. Please clarify
- repo download --> Downloads full source code(of all git repos in the project) till this commit
- checkout --> Not sure what it is.
- pull --> Not sure what it does?
- cherry-pick --> It tries to download only this change and merge it into the source code.
I know that pull and checkout are different from cherry-pick. But how are they different?