Better GitHub checkout instructions