G github.com Git clone any sub-directories/parts of a GitHub repo 10 points syncope 5 years ago 5 comments