* You can give it user/repo style arguments for github repositories. * If the repo has already been cloned into homes_dir, we don't try to clone again.
1.4 KiB
1.4 KiB
* You can give it user/repo style arguments for github repositories. * If the repo has already been cloned into homes_dir, we don't try to clone again.