Document "git cherry-pick" and "git revert"