diff options
Diffstat (limited to 'tests.branching')
-rwxr-xr-x | tests.branching/petrify-no-double-petrify.script | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests.branching/petrify-no-double-petrify.script b/tests.branching/petrify-no-double-petrify.script index c263e590..9484aa58 100755 --- a/tests.branching/petrify-no-double-petrify.script +++ b/tests.branching/petrify-no-double-petrify.script @@ -26,6 +26,7 @@ cd "$DATADIR/workspace" "$SRCDIR/scripts/test-morph" branch test:morphs test/petrify cd test/petrify/test:morphs +git push --quiet origin HEAD "$SRCDIR/scripts/test-morph" petrify "$SRCDIR/scripts/test-morph" petrify "$SRCDIR/scripts/test-morph" petrify |