diff options
Diffstat (limited to 'tests.branching/petrify.script')
-rwxr-xr-x | tests.branching/petrify.script | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests.branching/petrify.script b/tests.branching/petrify.script index 76c906c3..fed8e965 100755 --- a/tests.branching/petrify.script +++ b/tests.branching/petrify.script @@ -28,7 +28,9 @@ cd "$DATADIR/workspace" "$SRCDIR/scripts/test-morph" branch test:morphs test/petrify master cd test/petrify/test:morphs +git push --quiet origin HEAD "$SRCDIR/scripts/test-morph" edit hello-system hello-stratum goodbye +(cd ../test:goodbye && git push --quiet origin HEAD) "$SRCDIR/scripts/test-morph" petrify echo "Petrified:" |