Ok then, the changes to the repository shouldve been discarded. Anything he uploaded shouldve been deleted from the server. Why were files on his local machine deleted?

[–] [email protected] 8 points 4 days ago

The repository in Git isn't on the server, it's on your local machine.

[–] [email protected] 3 points 4 days ago (1 children)

What makes you think a server was involved here? It was a local repository, evidenced by the reporter's bewilderment that files can be deleted without going to the Recycle Bin first. Which tells us that in addition to VCS, they were unfamiliar with Windows as well.

[–] [email protected] 3 points 4 days ago (2 children)

Admittedly i dont use source control myself as im a hobbiest, but I didnt realize that git was local. As for the recycle bin bit, yeah theyre kinda dumb. Is source control different from git?

[–] [email protected] 4 points 4 days ago

Hobbyist myself so no worries! Git is one example of source control / version control software. You normally have your local working copy of a repository and then a remote where you push your changes when they are finished or to share them with others.

[–] [email protected] 2 points 3 days ago* (last edited 3 days ago)

You may be confusing git with GitHub.

git is a version control tool that lets you keep and manage a history of the files you are editing

GitHub is a website (not directly affiliated with the group maintaining git) that lets you upload, backup, and share your code using the format used by the git tool.

source control just refers to software to manage your source code in some form. git is the most popular tool of its kind, but there are others, for example mercurial.