It's often useful. But sometimes you want to use other tools, like firing up your editor to explore.

Note we’re talking about the GitHub UI mostly. Pulling and merging a remote branch is a basic git operation, almost a primitive.