I\'ve seen different posts on StackOverflow that explain cherry picking a bit, but the comments in their code aren\'t very specific as to what\'s a branch and what\'s a dire
Note:
git checkout is about updating the working tree (and HEAD if no path is specified, effectively switching branches)
git checkout [-p|--patch] [] [--] ...
When
or--patchare given,git checkoutdoes not switch branches.
It updates the named paths in the working tree from the index file or from a named(most often a commit). Theargument can be used to specify a specific tree-ish (i.e. commit, tag or tree) to update the index for the given paths before updating the working tree.
Your git checkout dev -- tools/my-tool updates a specific path, but it isn't a "merge" or a "git cherry-pick".