fix formatting of github clone command