diff --git a/CheckPush b/CheckPush
index e79f364e8e..59c829f4a2 100755
--- a/CheckPush
+++ b/CheckPush
@@ -82,3 +82,5 @@ then
 		echo "$MASTER..$next..next..$jch..jch..$seen..seen"
 	fi
 fi
+
+exec sh "$(dirname $0)/onemerge.sh"