Wednesday, October 23, 2013

Using git

Some useful commands when using git

Make a commit:
git add *
git commit -m "message"
git push origin master

Recover the state (be careful, overrides local changes!):
git reset --hard HEAD
git clean -f -d
git pull origin master

Delete on the repository the local deleted files:

No comments:

Post a Comment