hub-checkout(1) on Linux

The text dec6a1f14c2b, as Debian 10 (Buster) shipped it.

Check out the head of a pull request as a local branch.

hub-checkout(1) on Linux now