Fix typo in git-checkout-script.