dbravender/gitric — pull request #3 by mativs (2013-11-18 22:16:48+00:00)
Title: Check if remote git is already on commit

Just check the remote commit. if it's the same as the one we are pushing stops execution, prints message and return.

Hope it helps