I decided to remove the 'git clone' command, because we use SSH cloning internally, but other people will probably use HTTPS cloning.