If allowreachablesha1inwant is set, upload-pack will provide a blob to a
user, provided its hash, regardless of whether the blob is reachable or
not. Teach upload-pack to compute reachability correctly by passing the
"--objects" argument when it invokes "rev-list" if necessary.

This commit only affects the case where blob/tree hashes are provided to
upload-pack; the more typical case of only commit/tag hashes being
provided is not affected. In the case where blob/tree hashes are
provided, the reachability check is now slower (since trees need to be
read) but correct. (The user may still set allowanysha1inwant instead of
allowreachablesha1inwant to opt-out of the reachability check.)

Signed-off-by: Jonathan Tan <jonathanta...@google.com>
---
 t/t5500-fetch-pack.sh | 30 ++++++++++++++++++++++++++++++
 upload-pack.c         | 15 +++++++++++++++
 2 files changed, 45 insertions(+)

diff --git a/t/t5500-fetch-pack.sh b/t/t5500-fetch-pack.sh
index 505e1b4a7..a4ae888ff 100755
--- a/t/t5500-fetch-pack.sh
+++ b/t/t5500-fetch-pack.sh
@@ -547,6 +547,36 @@ test_expect_success 'fetch-pack can fetch a raw sha1' '
        git fetch-pack hidden $(git -C hidden rev-parse refs/hidden/one)
 '
 
+test_expect_success 'setup for tests that fetch blobs by hash' '
+       git init blobserver &&
+       test_commit -C blobserver 1 &&
+       test_commit -C blobserver 2 &&
+       test_commit -C blobserver 3 &&
+       blob1=$(echo 1 | git hash-object --stdin) &&
+       blob2=$(echo 2 | git hash-object --stdin) &&
+       blob3=$(echo 3 | git hash-object --stdin) &&
+
+       unreachable=$(echo 4 | git -C blobserver hash-object -w --stdin) &&
+       git -C blobserver cat-file -e "$unreachable"
+'
+
+test_expect_success 'fetch-pack can fetch reachable blobs by hash' '
+       test_config -C blobserver uploadpack.allowreachablesha1inwant 1 &&
+
+       git init reachabletest &&
+       git -C reachabletest fetch-pack ../blobserver "$blob1" "$blob2" &&
+       git -C reachabletest cat-file -e "$blob1" &&
+       git -C reachabletest cat-file -e "$blob2" &&
+       test_must_fail git -C reachabletest cat-file -e "$blob3"
+'
+
+test_expect_success 'fetch-pack cannot fetch unreachable blobs' '
+       test_config -C blobserver uploadpack.allowreachablesha1inwant 1 &&
+
+       git init unreachabletest &&
+       test_must_fail git -C unreachabletest fetch-pack ../blobserver "$blob1" 
"$unreachable"
+'
+
 check_prot_path () {
        cat >expected <<-EOF &&
        Diag: url=$1
diff --git a/upload-pack.c b/upload-pack.c
index 7597ba340..f05cc2b5e 100644
--- a/upload-pack.c
+++ b/upload-pack.c
@@ -471,6 +471,9 @@ static int do_reachable_revlist(struct child_process *cmd,
        static const char *argv[] = {
                "rev-list", "--stdin", NULL,
        };
+       static const char *argv_with_objects[] = {
+               "rev-list", "--objects", "--stdin", NULL,
+       };
        struct object *o;
        char namebuf[42]; /* ^ + SHA-1 + LF */
        int i;
@@ -488,6 +491,18 @@ static int do_reachable_revlist(struct child_process *cmd,
         */
        sigchain_push(SIGPIPE, SIG_IGN);
 
+       /*
+        * If we are testing reachability of a tree or blob, rev-list needs to
+        * operate more granularly.
+        */
+       for (i = 0; i < src->nr; i++) {
+               o = src->objects[i].item;
+               if (o->type == OBJ_TREE || o->type == OBJ_BLOB) {
+                       cmd->argv = argv_with_objects;
+                       break;
+               }
+       }
+
        if (start_command(cmd))
                goto error;
 
-- 
2.11.0.483.g087da7b7c-goog

Reply via email to