diff options
Diffstat (limited to 'tests/publish.testscript')
-rw-r--r-- | tests/publish.testscript | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/publish.testscript b/tests/publish.testscript index fa32521..5428c3b 100644 --- a/tests/publish.testscript +++ b/tests/publish.testscript @@ -543,7 +543,7 @@ g = git -C prj >! 2>! # Push again into the build2-control branch from another local repository # (see above for details). # - $g2 pull; + $g2 pull --ff-only; $g2 commit --allow-empty -m 'Dummy2'; $g2 push; @@ -567,7 +567,7 @@ g = git -C prj >! 2>! # Note that the prj repository master branch pull fetches the # build2-control branch implicitly, so the subsequent publishing succeeds. # - $g pull; + $g pull --ff-only; $* 2>>~%EOE%; %package submission is queued(: \.*prj/1.0.14)?%d |