Meta/CheckPush: trigger onemerge as well

diff --git a/CheckPush b/CheckPush
index e79f364e8e7247e9d3d32ab215681674f610d34b..59c829f4a2d6b83cd6dbbc200f9f7bd7f291f683 100755 (executable)
--- 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"