docs/diff-options: clarify scope of diff-filter types

diff --git a/t/t5516-fetch-push.sh b/t/t5516-fetch-push.sh
index 78f3b8ef22f919e98bb668686aa265c3f2688f74..177897ea0b1e00cc4ec0f0e43510411ab19f1681 100755 (executable)
--- a/t/t5516-fetch-push.sh
+++ b/t/t5516-fetch-push.sh
@@ -1004,7 +1004,7 @@ test_expect_success 'push --porcelain' '
 test_expect_success 'push --porcelain bad url' '
        mk_empty testrepo &&
        test_must_fail git push >.git/bar --porcelain asdfasdfasd refs/heads/master:refs/remotes/origin/master &&
-       test_must_fail grep -q Done .git/bar
+       ! grep -q Done .git/bar
 '
 
 test_expect_success 'push --porcelain rejected' '