I have a project structure thus:
\projects\
.git\
.gitignore
folder1\
\ignoredfolder
\pushedfolder
From within \projects\ I have successfully pushed \projects\folder1\pushedfolder\ to the online repository. Then, I have deleted \projects\folder1\pushedfolder\ on my local machine. I would now like to recreate locally this folder and its contents from the online repository where it was previously pushed into.
Within Git Gui, on navigating to Branch -> Checkout, the following option is obtained
On clicking checkout, I notice that the just pushed files that were part of the locally deleted folder come back into the "Unstaged Changes" window of Git Gui. But beyond this, how can I actually get these files into the just deleted local folder?