Revert "need switch?"

This reverts commit 334cf286eada6680808f9da92eb1036222355de7.
r-prof · Dec 24, 2017 · 5d37fc6 · 5d37fc6
1 parent fff2398
commit 5d37fc6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/metatool b/metatool
@@ -57,7 +57,7 @@ push() {
   git subtree push --prefix=$project $manyrepos_dir/$project $metarepo_branch
   (
     cd $manyrepos_dir/$project
-    if [ "`git log ${metarepo_branch}..${manyrepos_branch}`" = "" ]
+    if [ "`git log ${manyrepos_branch}..${metarepo_branch}`" = "" ]
     then
       return
     fi