Simplify git-pull operation.