checkout: advice how to get out of detached HEAD mode
[gitweb.git] / t / t5516-fetch-push.sh
index 7316365a24679edbb9d79db74a4ba6e9aa4ad9be..37e8e80893dad130c5c00882796047417aae115b 100755 (executable)
@@ -95,7 +95,7 @@ mk_child() {
 
 check_push_result () {
        test $# -ge 3 ||
-       error "bug in the test script: check_push_result requires at least 3 parameters"
+       BUG "check_push_result requires at least 3 parameters"
 
        repo_name="$1"
        shift