How to clone a Git repository using Git extentions