Git question: I want to pull a GitHub repository to my empty local folder. Should I clone it or pull it?