If Git push is failed then how to revert the git commit

There are two scenarios to this question (Reverting back a commit does not mean I want to lose all my local changes):
1. To revert the latest commit and discard changes in the committed file do:
git reset –hard HEAD~1
2. To revert the latest commit but retain the local changes (on disk) do:
git reset –soft HEAD~1
This (the later command) will take you to the state you would have been if you did git add.
If you want to unstage the files after that, do
git reset
After that you can make more changes before adding and then committing again.

How to speed up eclipse

1. Go to Windows -> Preferences -> Validation and uncheck any validators you don’t want or need.

2.For Eclipse 3.7, you use Windows -> Preferences -> General -> Startup and Shutdown.

3. Add -Xverify:none to your eclipse.ini file.It will cut down your Eclipse startup time considerably (50% in my case if not more). This will tell the VM not to validate all the .class files it is loading.