How: How to clone a git repository into a named folder 2022-07-16 git clone repository new-custom-name