Do not commit / push if not necessary.

JmeHsieh · Sep 22, 2016 · 060c9ab · 060c9ab
1 parent ec1dce7
commit 060c9ab
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/hackfoldrs.py b/hackfoldrs.py
@@ -152,6 +152,9 @@ def copy_to_repo(self):
     def commit_push(self):
         if not self.repo:
             raise 'NoRepoError'
+        elif len(self.repo.index.diff(None)) == 0:
+            logging.info('nothing to commit')
+            return
 
         logging.info('git add .')
         self.repo.index.add('*')