head

r-prof · Dec 24, 2017 · ca425a3 · ca425a3
1 parent 5d37fc6
commit ca425a3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/metatool b/metatool
@@ -49,15 +49,15 @@ check_push() {
 }
 
 check_clean() {
-  [ "`git status --porcelain`" = "" ]
+  [ "`git status --porcelain | head -n 3`" = "" ]
 }
 
 push() {
   project=$1
   git subtree push --prefix=$project $manyrepos_dir/$project $metarepo_branch
   (
     cd $manyrepos_dir/$project
-    if [ "`git log ${manyrepos_branch}..${metarepo_branch}`" = "" ]
+    if [ "`git log ${manyrepos_branch}..${metarepo_branch} | head -n 3`" = "" ]
     then
       return
     fi