Merge branch 'cm/remote-mediawiki'

diff --git a/t/t5702-clone-options.sh b/t/t5702-clone-options.sh
index 02cb02472322e8fd6c31548d30950c937e301e5f..85cadfad6d8aeee79e0f05530376ca7dc6f085f0 100755 (executable)
--- a/t/t5702-clone-options.sh
+++ b/t/t5702-clone-options.sh
@@ -22,7 +22,7 @@ test_expect_success 'clone -o' '
 test_expect_success 'redirected clone' '
 
        git clone "file://$(pwd)/parent" clone-redirected >out 2>err &&
-       test ! -s err
+       test_must_be_empty err
 
 '
 test_expect_success 'redirected clone -v' '