gh-pull(), gh-checkout(), gh-cherry-pick()