Github Question

[Bluebaron]

Hello,

I have been required to use github for my class. I enjoy it and have even learned a lot of the command prompt.

Tonight I accidentally deleted a file in my local copy of the repository that I didnt mean to delete. It seems like this should be the situation where gitHub comes in really handy.

How do I pull my file back from the repository? I tried git clone and git pull... neither seemed to detect the discrepancy.

I imagine its just a command that I don't know yet. Your help is appreciated.

cout<<"Hello gitHub"<<endl;