The blue social bookmark and publication sharing system.
Log in with your username.
I've lost my password.
Log in with your OpenID-Provider.
git reset --hard <tag/branch/commit id>
Notes:
git reset without the --hard option resets the commit history, but not the files. With the --hard option the files in working tree are also reset. (credited user)