fetch-pack: print and use dangling .gitmodules
[git/debian.git] / fetch-pack.c
blobf9def5ac741dd8ee768a7df4e9c63b833878a7fc
1 #include "cache.h"
2 #include "repository.h"
3 #include "config.h"
4 #include "lockfile.h"
5 #include "refs.h"
6 #include "pkt-line.h"
7 #include "commit.h"
8 #include "tag.h"
9 #include "exec-cmd.h"
10 #include "pack.h"
11 #include "sideband.h"
12 #include "fetch-pack.h"
13 #include "remote.h"
14 #include "run-command.h"
15 #include "connect.h"
16 #include "transport.h"
17 #include "version.h"
18 #include "oid-array.h"
19 #include "oidset.h"
20 #include "packfile.h"
21 #include "object-store.h"
22 #include "connected.h"
23 #include "fetch-negotiator.h"
24 #include "fsck.h"
25 #include "shallow.h"
27 static int transfer_unpack_limit = -1;
28 static int fetch_unpack_limit = -1;
29 static int unpack_limit = 100;
30 static int prefer_ofs_delta = 1;
31 static int no_done;
32 static int deepen_since_ok;
33 static int deepen_not_ok;
34 static int fetch_fsck_objects = -1;
35 static int transfer_fsck_objects = -1;
36 static int agent_supported;
37 static int server_supports_filtering;
38 static int advertise_sid;
39 static struct shallow_lock shallow_lock;
40 static const char *alternate_shallow_file;
41 static struct strbuf fsck_msg_types = STRBUF_INIT;
42 static struct string_list uri_protocols = STRING_LIST_INIT_DUP;
44 /* Remember to update object flag allocation in object.h */
45 #define COMPLETE (1U << 0)
46 #define ALTERNATE (1U << 1)
49 * After sending this many "have"s if we do not get any new ACK , we
50 * give up traversing our history.
52 #define MAX_IN_VAIN 256
54 static int multi_ack, use_sideband;
55 /* Allow specifying sha1 if it is a ref tip. */
56 #define ALLOW_TIP_SHA1 01
57 /* Allow request of a sha1 if it is reachable from a ref (possibly hidden ref). */
58 #define ALLOW_REACHABLE_SHA1 02
59 static unsigned int allow_unadvertised_object_request;
61 __attribute__((format (printf, 2, 3)))
62 static inline void print_verbose(const struct fetch_pack_args *args,
63 const char *fmt, ...)
65 va_list params;
67 if (!args->verbose)
68 return;
70 va_start(params, fmt);
71 vfprintf(stderr, fmt, params);
72 va_end(params);
73 fputc('\n', stderr);
76 struct alternate_object_cache {
77 struct object **items;
78 size_t nr, alloc;
81 static void cache_one_alternate(const struct object_id *oid,
82 void *vcache)
84 struct alternate_object_cache *cache = vcache;
85 struct object *obj = parse_object(the_repository, oid);
87 if (!obj || (obj->flags & ALTERNATE))
88 return;
90 obj->flags |= ALTERNATE;
91 ALLOC_GROW(cache->items, cache->nr + 1, cache->alloc);
92 cache->items[cache->nr++] = obj;
95 static void for_each_cached_alternate(struct fetch_negotiator *negotiator,
96 void (*cb)(struct fetch_negotiator *,
97 struct object *))
99 static int initialized;
100 static struct alternate_object_cache cache;
101 size_t i;
103 if (!initialized) {
104 for_each_alternate_ref(cache_one_alternate, &cache);
105 initialized = 1;
108 for (i = 0; i < cache.nr; i++)
109 cb(negotiator, cache.items[i]);
112 static struct commit *deref_without_lazy_fetch(const struct object_id *oid,
113 int mark_tags_complete)
115 enum object_type type;
116 struct object_info info = { .typep = &type };
118 while (1) {
119 if (oid_object_info_extended(the_repository, oid, &info,
120 OBJECT_INFO_SKIP_FETCH_OBJECT | OBJECT_INFO_QUICK))
121 return NULL;
122 if (type == OBJ_TAG) {
123 struct tag *tag = (struct tag *)
124 parse_object(the_repository, oid);
126 if (!tag->tagged)
127 return NULL;
128 if (mark_tags_complete)
129 tag->object.flags |= COMPLETE;
130 oid = &tag->tagged->oid;
131 } else {
132 break;
135 if (type == OBJ_COMMIT)
136 return (struct commit *) parse_object(the_repository, oid);
137 return NULL;
140 static int rev_list_insert_ref(struct fetch_negotiator *negotiator,
141 const struct object_id *oid)
143 struct commit *c = deref_without_lazy_fetch(oid, 0);
145 if (c)
146 negotiator->add_tip(negotiator, c);
147 return 0;
150 static int rev_list_insert_ref_oid(const char *refname, const struct object_id *oid,
151 int flag, void *cb_data)
153 return rev_list_insert_ref(cb_data, oid);
156 enum ack_type {
157 NAK = 0,
158 ACK,
159 ACK_continue,
160 ACK_common,
161 ACK_ready
164 static void consume_shallow_list(struct fetch_pack_args *args,
165 struct packet_reader *reader)
167 if (args->stateless_rpc && args->deepen) {
168 /* If we sent a depth we will get back "duplicate"
169 * shallow and unshallow commands every time there
170 * is a block of have lines exchanged.
172 while (packet_reader_read(reader) == PACKET_READ_NORMAL) {
173 if (starts_with(reader->line, "shallow "))
174 continue;
175 if (starts_with(reader->line, "unshallow "))
176 continue;
177 die(_("git fetch-pack: expected shallow list"));
179 if (reader->status != PACKET_READ_FLUSH)
180 die(_("git fetch-pack: expected a flush packet after shallow list"));
184 static enum ack_type get_ack(struct packet_reader *reader,
185 struct object_id *result_oid)
187 int len;
188 const char *arg;
190 if (packet_reader_read(reader) != PACKET_READ_NORMAL)
191 die(_("git fetch-pack: expected ACK/NAK, got a flush packet"));
192 len = reader->pktlen;
194 if (!strcmp(reader->line, "NAK"))
195 return NAK;
196 if (skip_prefix(reader->line, "ACK ", &arg)) {
197 const char *p;
198 if (!parse_oid_hex(arg, result_oid, &p)) {
199 len -= p - reader->line;
200 if (len < 1)
201 return ACK;
202 if (strstr(p, "continue"))
203 return ACK_continue;
204 if (strstr(p, "common"))
205 return ACK_common;
206 if (strstr(p, "ready"))
207 return ACK_ready;
208 return ACK;
211 die(_("git fetch-pack: expected ACK/NAK, got '%s'"), reader->line);
214 static void send_request(struct fetch_pack_args *args,
215 int fd, struct strbuf *buf)
217 if (args->stateless_rpc) {
218 send_sideband(fd, -1, buf->buf, buf->len, LARGE_PACKET_MAX);
219 packet_flush(fd);
220 } else {
221 if (write_in_full(fd, buf->buf, buf->len) < 0)
222 die_errno(_("unable to write to remote"));
226 static void insert_one_alternate_object(struct fetch_negotiator *negotiator,
227 struct object *obj)
229 rev_list_insert_ref(negotiator, &obj->oid);
232 #define INITIAL_FLUSH 16
233 #define PIPESAFE_FLUSH 32
234 #define LARGE_FLUSH 16384
236 static int next_flush(int stateless_rpc, int count)
238 if (stateless_rpc) {
239 if (count < LARGE_FLUSH)
240 count <<= 1;
241 else
242 count = count * 11 / 10;
243 } else {
244 if (count < PIPESAFE_FLUSH)
245 count <<= 1;
246 else
247 count += PIPESAFE_FLUSH;
249 return count;
252 static void mark_tips(struct fetch_negotiator *negotiator,
253 const struct oid_array *negotiation_tips)
255 int i;
257 if (!negotiation_tips) {
258 for_each_rawref(rev_list_insert_ref_oid, negotiator);
259 return;
262 for (i = 0; i < negotiation_tips->nr; i++)
263 rev_list_insert_ref(negotiator, &negotiation_tips->oid[i]);
264 return;
267 static int find_common(struct fetch_negotiator *negotiator,
268 struct fetch_pack_args *args,
269 int fd[2], struct object_id *result_oid,
270 struct ref *refs)
272 int fetching;
273 int count = 0, flushes = 0, flush_at = INITIAL_FLUSH, retval;
274 const struct object_id *oid;
275 unsigned in_vain = 0;
276 int got_continue = 0;
277 int got_ready = 0;
278 struct strbuf req_buf = STRBUF_INIT;
279 size_t state_len = 0;
280 struct packet_reader reader;
282 if (args->stateless_rpc && multi_ack == 1)
283 die(_("--stateless-rpc requires multi_ack_detailed"));
285 packet_reader_init(&reader, fd[0], NULL, 0,
286 PACKET_READ_CHOMP_NEWLINE |
287 PACKET_READ_DIE_ON_ERR_PACKET);
289 mark_tips(negotiator, args->negotiation_tips);
290 for_each_cached_alternate(negotiator, insert_one_alternate_object);
292 fetching = 0;
293 for ( ; refs ; refs = refs->next) {
294 struct object_id *remote = &refs->old_oid;
295 const char *remote_hex;
296 struct object *o;
299 * If that object is complete (i.e. it is an ancestor of a
300 * local ref), we tell them we have it but do not have to
301 * tell them about its ancestors, which they already know
302 * about.
304 * We use lookup_object here because we are only
305 * interested in the case we *know* the object is
306 * reachable and we have already scanned it.
308 if (((o = lookup_object(the_repository, remote)) != NULL) &&
309 (o->flags & COMPLETE)) {
310 continue;
313 remote_hex = oid_to_hex(remote);
314 if (!fetching) {
315 struct strbuf c = STRBUF_INIT;
316 if (multi_ack == 2) strbuf_addstr(&c, " multi_ack_detailed");
317 if (multi_ack == 1) strbuf_addstr(&c, " multi_ack");
318 if (no_done) strbuf_addstr(&c, " no-done");
319 if (use_sideband == 2) strbuf_addstr(&c, " side-band-64k");
320 if (use_sideband == 1) strbuf_addstr(&c, " side-band");
321 if (args->deepen_relative) strbuf_addstr(&c, " deepen-relative");
322 if (args->use_thin_pack) strbuf_addstr(&c, " thin-pack");
323 if (args->no_progress) strbuf_addstr(&c, " no-progress");
324 if (args->include_tag) strbuf_addstr(&c, " include-tag");
325 if (prefer_ofs_delta) strbuf_addstr(&c, " ofs-delta");
326 if (deepen_since_ok) strbuf_addstr(&c, " deepen-since");
327 if (deepen_not_ok) strbuf_addstr(&c, " deepen-not");
328 if (agent_supported) strbuf_addf(&c, " agent=%s",
329 git_user_agent_sanitized());
330 if (advertise_sid)
331 strbuf_addf(&c, " session-id=%s", trace2_session_id());
332 if (args->filter_options.choice)
333 strbuf_addstr(&c, " filter");
334 packet_buf_write(&req_buf, "want %s%s\n", remote_hex, c.buf);
335 strbuf_release(&c);
336 } else
337 packet_buf_write(&req_buf, "want %s\n", remote_hex);
338 fetching++;
341 if (!fetching) {
342 strbuf_release(&req_buf);
343 packet_flush(fd[1]);
344 return 1;
347 if (is_repository_shallow(the_repository))
348 write_shallow_commits(&req_buf, 1, NULL);
349 if (args->depth > 0)
350 packet_buf_write(&req_buf, "deepen %d", args->depth);
351 if (args->deepen_since) {
352 timestamp_t max_age = approxidate(args->deepen_since);
353 packet_buf_write(&req_buf, "deepen-since %"PRItime, max_age);
355 if (args->deepen_not) {
356 int i;
357 for (i = 0; i < args->deepen_not->nr; i++) {
358 struct string_list_item *s = args->deepen_not->items + i;
359 packet_buf_write(&req_buf, "deepen-not %s", s->string);
362 if (server_supports_filtering && args->filter_options.choice) {
363 const char *spec =
364 expand_list_objects_filter_spec(&args->filter_options);
365 packet_buf_write(&req_buf, "filter %s", spec);
367 packet_buf_flush(&req_buf);
368 state_len = req_buf.len;
370 if (args->deepen) {
371 const char *arg;
372 struct object_id oid;
374 send_request(args, fd[1], &req_buf);
375 while (packet_reader_read(&reader) == PACKET_READ_NORMAL) {
376 if (skip_prefix(reader.line, "shallow ", &arg)) {
377 if (get_oid_hex(arg, &oid))
378 die(_("invalid shallow line: %s"), reader.line);
379 register_shallow(the_repository, &oid);
380 continue;
382 if (skip_prefix(reader.line, "unshallow ", &arg)) {
383 if (get_oid_hex(arg, &oid))
384 die(_("invalid unshallow line: %s"), reader.line);
385 if (!lookup_object(the_repository, &oid))
386 die(_("object not found: %s"), reader.line);
387 /* make sure that it is parsed as shallow */
388 if (!parse_object(the_repository, &oid))
389 die(_("error in object: %s"), reader.line);
390 if (unregister_shallow(&oid))
391 die(_("no shallow found: %s"), reader.line);
392 continue;
394 die(_("expected shallow/unshallow, got %s"), reader.line);
396 } else if (!args->stateless_rpc)
397 send_request(args, fd[1], &req_buf);
399 if (!args->stateless_rpc) {
400 /* If we aren't using the stateless-rpc interface
401 * we don't need to retain the headers.
403 strbuf_setlen(&req_buf, 0);
404 state_len = 0;
407 trace2_region_enter("fetch-pack", "negotiation_v0_v1", the_repository);
408 flushes = 0;
409 retval = -1;
410 while ((oid = negotiator->next(negotiator))) {
411 packet_buf_write(&req_buf, "have %s\n", oid_to_hex(oid));
412 print_verbose(args, "have %s", oid_to_hex(oid));
413 in_vain++;
414 if (flush_at <= ++count) {
415 int ack;
417 packet_buf_flush(&req_buf);
418 send_request(args, fd[1], &req_buf);
419 strbuf_setlen(&req_buf, state_len);
420 flushes++;
421 flush_at = next_flush(args->stateless_rpc, count);
424 * We keep one window "ahead" of the other side, and
425 * will wait for an ACK only on the next one
427 if (!args->stateless_rpc && count == INITIAL_FLUSH)
428 continue;
430 consume_shallow_list(args, &reader);
431 do {
432 ack = get_ack(&reader, result_oid);
433 if (ack)
434 print_verbose(args, _("got %s %d %s"), "ack",
435 ack, oid_to_hex(result_oid));
436 switch (ack) {
437 case ACK:
438 flushes = 0;
439 multi_ack = 0;
440 retval = 0;
441 goto done;
442 case ACK_common:
443 case ACK_ready:
444 case ACK_continue: {
445 struct commit *commit =
446 lookup_commit(the_repository,
447 result_oid);
448 int was_common;
450 if (!commit)
451 die(_("invalid commit %s"), oid_to_hex(result_oid));
452 was_common = negotiator->ack(negotiator, commit);
453 if (args->stateless_rpc
454 && ack == ACK_common
455 && !was_common) {
456 /* We need to replay the have for this object
457 * on the next RPC request so the peer knows
458 * it is in common with us.
460 const char *hex = oid_to_hex(result_oid);
461 packet_buf_write(&req_buf, "have %s\n", hex);
462 state_len = req_buf.len;
464 * Reset in_vain because an ack
465 * for this commit has not been
466 * seen.
468 in_vain = 0;
469 } else if (!args->stateless_rpc
470 || ack != ACK_common)
471 in_vain = 0;
472 retval = 0;
473 got_continue = 1;
474 if (ack == ACK_ready)
475 got_ready = 1;
476 break;
479 } while (ack);
480 flushes--;
481 if (got_continue && MAX_IN_VAIN < in_vain) {
482 print_verbose(args, _("giving up"));
483 break; /* give up */
485 if (got_ready)
486 break;
489 done:
490 trace2_region_leave("fetch-pack", "negotiation_v0_v1", the_repository);
491 if (!got_ready || !no_done) {
492 packet_buf_write(&req_buf, "done\n");
493 send_request(args, fd[1], &req_buf);
495 print_verbose(args, _("done"));
496 if (retval != 0) {
497 multi_ack = 0;
498 flushes++;
500 strbuf_release(&req_buf);
502 if (!got_ready || !no_done)
503 consume_shallow_list(args, &reader);
504 while (flushes || multi_ack) {
505 int ack = get_ack(&reader, result_oid);
506 if (ack) {
507 print_verbose(args, _("got %s (%d) %s"), "ack",
508 ack, oid_to_hex(result_oid));
509 if (ack == ACK)
510 return 0;
511 multi_ack = 1;
512 continue;
514 flushes--;
516 /* it is no error to fetch into a completely empty repo */
517 return count ? retval : 0;
520 static struct commit_list *complete;
522 static int mark_complete(const struct object_id *oid)
524 struct commit *commit = deref_without_lazy_fetch(oid, 1);
526 if (commit && !(commit->object.flags & COMPLETE)) {
527 commit->object.flags |= COMPLETE;
528 commit_list_insert(commit, &complete);
530 return 0;
533 static int mark_complete_oid(const char *refname, const struct object_id *oid,
534 int flag, void *cb_data)
536 return mark_complete(oid);
539 static void mark_recent_complete_commits(struct fetch_pack_args *args,
540 timestamp_t cutoff)
542 while (complete && cutoff <= complete->item->date) {
543 print_verbose(args, _("Marking %s as complete"),
544 oid_to_hex(&complete->item->object.oid));
545 pop_most_recent_commit(&complete, COMPLETE);
549 static void add_refs_to_oidset(struct oidset *oids, struct ref *refs)
551 for (; refs; refs = refs->next)
552 oidset_insert(oids, &refs->old_oid);
555 static int is_unmatched_ref(const struct ref *ref)
557 struct object_id oid;
558 const char *p;
559 return ref->match_status == REF_NOT_MATCHED &&
560 !parse_oid_hex(ref->name, &oid, &p) &&
561 *p == '\0' &&
562 oideq(&oid, &ref->old_oid);
565 static void filter_refs(struct fetch_pack_args *args,
566 struct ref **refs,
567 struct ref **sought, int nr_sought)
569 struct ref *newlist = NULL;
570 struct ref **newtail = &newlist;
571 struct ref *unmatched = NULL;
572 struct ref *ref, *next;
573 struct oidset tip_oids = OIDSET_INIT;
574 int i;
575 int strict = !(allow_unadvertised_object_request &
576 (ALLOW_TIP_SHA1 | ALLOW_REACHABLE_SHA1));
578 i = 0;
579 for (ref = *refs; ref; ref = next) {
580 int keep = 0;
581 next = ref->next;
583 if (starts_with(ref->name, "refs/") &&
584 check_refname_format(ref->name, 0)) {
586 * trash or a peeled value; do not even add it to
587 * unmatched list
589 free_one_ref(ref);
590 continue;
591 } else {
592 while (i < nr_sought) {
593 int cmp = strcmp(ref->name, sought[i]->name);
594 if (cmp < 0)
595 break; /* definitely do not have it */
596 else if (cmp == 0) {
597 keep = 1; /* definitely have it */
598 sought[i]->match_status = REF_MATCHED;
600 i++;
603 if (!keep && args->fetch_all &&
604 (!args->deepen || !starts_with(ref->name, "refs/tags/")))
605 keep = 1;
608 if (keep) {
609 *newtail = ref;
610 ref->next = NULL;
611 newtail = &ref->next;
612 } else {
613 ref->next = unmatched;
614 unmatched = ref;
618 if (strict) {
619 for (i = 0; i < nr_sought; i++) {
620 ref = sought[i];
621 if (!is_unmatched_ref(ref))
622 continue;
624 add_refs_to_oidset(&tip_oids, unmatched);
625 add_refs_to_oidset(&tip_oids, newlist);
626 break;
630 /* Append unmatched requests to the list */
631 for (i = 0; i < nr_sought; i++) {
632 ref = sought[i];
633 if (!is_unmatched_ref(ref))
634 continue;
636 if (!strict || oidset_contains(&tip_oids, &ref->old_oid)) {
637 ref->match_status = REF_MATCHED;
638 *newtail = copy_ref(ref);
639 newtail = &(*newtail)->next;
640 } else {
641 ref->match_status = REF_UNADVERTISED_NOT_ALLOWED;
645 oidset_clear(&tip_oids);
646 free_refs(unmatched);
648 *refs = newlist;
651 static void mark_alternate_complete(struct fetch_negotiator *unused,
652 struct object *obj)
654 mark_complete(&obj->oid);
657 struct loose_object_iter {
658 struct oidset *loose_object_set;
659 struct ref *refs;
663 * Mark recent commits available locally and reachable from a local ref as
664 * COMPLETE.
666 * The cutoff time for recency is determined by this heuristic: it is the
667 * earliest commit time of the objects in refs that are commits and that we know
668 * the commit time of.
670 static void mark_complete_and_common_ref(struct fetch_negotiator *negotiator,
671 struct fetch_pack_args *args,
672 struct ref **refs)
674 struct ref *ref;
675 int old_save_commit_buffer = save_commit_buffer;
676 timestamp_t cutoff = 0;
678 save_commit_buffer = 0;
680 trace2_region_enter("fetch-pack", "parse_remote_refs_and_find_cutoff", NULL);
681 for (ref = *refs; ref; ref = ref->next) {
682 struct object *o;
684 if (!has_object_file_with_flags(&ref->old_oid,
685 OBJECT_INFO_QUICK |
686 OBJECT_INFO_SKIP_FETCH_OBJECT))
687 continue;
688 o = parse_object(the_repository, &ref->old_oid);
689 if (!o)
690 continue;
693 * We already have it -- which may mean that we were
694 * in sync with the other side at some time after
695 * that (it is OK if we guess wrong here).
697 if (o->type == OBJ_COMMIT) {
698 struct commit *commit = (struct commit *)o;
699 if (!cutoff || cutoff < commit->date)
700 cutoff = commit->date;
703 trace2_region_leave("fetch-pack", "parse_remote_refs_and_find_cutoff", NULL);
706 * This block marks all local refs as COMPLETE, and then recursively marks all
707 * parents of those refs as COMPLETE.
709 trace2_region_enter("fetch-pack", "mark_complete_local_refs", NULL);
710 if (!args->deepen) {
711 for_each_rawref(mark_complete_oid, NULL);
712 for_each_cached_alternate(NULL, mark_alternate_complete);
713 commit_list_sort_by_date(&complete);
714 if (cutoff)
715 mark_recent_complete_commits(args, cutoff);
717 trace2_region_leave("fetch-pack", "mark_complete_local_refs", NULL);
720 * Mark all complete remote refs as common refs.
721 * Don't mark them common yet; the server has to be told so first.
723 trace2_region_enter("fetch-pack", "mark_common_remote_refs", NULL);
724 for (ref = *refs; ref; ref = ref->next) {
725 struct commit *c = deref_without_lazy_fetch(&ref->old_oid, 0);
727 if (!c || !(c->object.flags & COMPLETE))
728 continue;
730 negotiator->known_common(negotiator, c);
732 trace2_region_leave("fetch-pack", "mark_common_remote_refs", NULL);
734 save_commit_buffer = old_save_commit_buffer;
738 * Returns 1 if every object pointed to by the given remote refs is available
739 * locally and reachable from a local ref, and 0 otherwise.
741 static int everything_local(struct fetch_pack_args *args,
742 struct ref **refs)
744 struct ref *ref;
745 int retval;
747 for (retval = 1, ref = *refs; ref ; ref = ref->next) {
748 const struct object_id *remote = &ref->old_oid;
749 struct object *o;
751 o = lookup_object(the_repository, remote);
752 if (!o || !(o->flags & COMPLETE)) {
753 retval = 0;
754 print_verbose(args, "want %s (%s)", oid_to_hex(remote),
755 ref->name);
756 continue;
758 print_verbose(args, _("already have %s (%s)"), oid_to_hex(remote),
759 ref->name);
762 return retval;
765 static int sideband_demux(int in, int out, void *data)
767 int *xd = data;
768 int ret;
770 ret = recv_sideband("fetch-pack", xd[0], out);
771 close(out);
772 return ret;
775 static void write_promisor_file(const char *keep_name,
776 struct ref **sought, int nr_sought)
778 struct strbuf promisor_name = STRBUF_INIT;
779 int suffix_stripped;
780 FILE *output;
781 int i;
783 strbuf_addstr(&promisor_name, keep_name);
784 suffix_stripped = strbuf_strip_suffix(&promisor_name, ".keep");
785 if (!suffix_stripped)
786 BUG("name of pack lockfile should end with .keep (was '%s')",
787 keep_name);
788 strbuf_addstr(&promisor_name, ".promisor");
790 output = xfopen(promisor_name.buf, "w");
791 for (i = 0; i < nr_sought; i++)
792 fprintf(output, "%s %s\n", oid_to_hex(&sought[i]->old_oid),
793 sought[i]->name);
794 fclose(output);
796 strbuf_release(&promisor_name);
799 static void parse_gitmodules_oids(int fd, struct oidset *gitmodules_oids)
801 int len = the_hash_algo->hexsz + 1; /* hash + NL */
803 do {
804 char hex_hash[GIT_MAX_HEXSZ + 1];
805 int read_len = read_in_full(fd, hex_hash, len);
806 struct object_id oid;
807 const char *end;
809 if (!read_len)
810 return;
811 if (read_len != len)
812 die("invalid length read %d", read_len);
813 if (parse_oid_hex(hex_hash, &oid, &end) || *end != '\n')
814 die("invalid hash");
815 oidset_insert(gitmodules_oids, &oid);
816 } while (1);
820 * If packfile URIs were provided, pass a non-NULL pointer to index_pack_args.
821 * The strings to pass as the --index-pack-arg arguments to http-fetch will be
822 * stored there. (It must be freed by the caller.)
824 static int get_pack(struct fetch_pack_args *args,
825 int xd[2], struct string_list *pack_lockfiles,
826 struct strvec *index_pack_args,
827 struct ref **sought, int nr_sought,
828 struct oidset *gitmodules_oids)
830 struct async demux;
831 int do_keep = args->keep_pack;
832 const char *cmd_name;
833 struct pack_header header;
834 int pass_header = 0;
835 struct child_process cmd = CHILD_PROCESS_INIT;
836 int fsck_objects = 0;
837 int ret;
839 memset(&demux, 0, sizeof(demux));
840 if (use_sideband) {
841 /* xd[] is talking with upload-pack; subprocess reads from
842 * xd[0], spits out band#2 to stderr, and feeds us band#1
843 * through demux->out.
845 demux.proc = sideband_demux;
846 demux.data = xd;
847 demux.out = -1;
848 demux.isolate_sigpipe = 1;
849 if (start_async(&demux))
850 die(_("fetch-pack: unable to fork off sideband demultiplexer"));
852 else
853 demux.out = xd[0];
855 if (!args->keep_pack && unpack_limit) {
857 if (read_pack_header(demux.out, &header))
858 die(_("protocol error: bad pack header"));
859 pass_header = 1;
860 if (ntohl(header.hdr_entries) < unpack_limit)
861 do_keep = 0;
862 else
863 do_keep = 1;
866 if (alternate_shallow_file) {
867 strvec_push(&cmd.args, "--shallow-file");
868 strvec_push(&cmd.args, alternate_shallow_file);
871 if (fetch_fsck_objects >= 0
872 ? fetch_fsck_objects
873 : transfer_fsck_objects >= 0
874 ? transfer_fsck_objects
875 : 0)
876 fsck_objects = 1;
878 if (do_keep || args->from_promisor || index_pack_args || fsck_objects) {
879 if (pack_lockfiles || fsck_objects)
880 cmd.out = -1;
881 cmd_name = "index-pack";
882 strvec_push(&cmd.args, cmd_name);
883 strvec_push(&cmd.args, "--stdin");
884 if (!args->quiet && !args->no_progress)
885 strvec_push(&cmd.args, "-v");
886 if (args->use_thin_pack)
887 strvec_push(&cmd.args, "--fix-thin");
888 if (do_keep && (args->lock_pack || unpack_limit)) {
889 char hostname[HOST_NAME_MAX + 1];
890 if (xgethostname(hostname, sizeof(hostname)))
891 xsnprintf(hostname, sizeof(hostname), "localhost");
892 strvec_pushf(&cmd.args,
893 "--keep=fetch-pack %"PRIuMAX " on %s",
894 (uintmax_t)getpid(), hostname);
896 if (!index_pack_args && args->check_self_contained_and_connected)
897 strvec_push(&cmd.args, "--check-self-contained-and-connected");
898 else
900 * We cannot perform any connectivity checks because
901 * not all packs have been downloaded; let the caller
902 * have this responsibility.
904 args->check_self_contained_and_connected = 0;
906 if (args->from_promisor)
908 * write_promisor_file() may be called afterwards but
909 * we still need index-pack to know that this is a
910 * promisor pack. For example, if transfer.fsckobjects
911 * is true, index-pack needs to know that .gitmodules
912 * is a promisor object (so that it won't complain if
913 * it is missing).
915 strvec_push(&cmd.args, "--promisor");
917 else {
918 cmd_name = "unpack-objects";
919 strvec_push(&cmd.args, cmd_name);
920 if (args->quiet || args->no_progress)
921 strvec_push(&cmd.args, "-q");
922 args->check_self_contained_and_connected = 0;
925 if (pass_header)
926 strvec_pushf(&cmd.args, "--pack_header=%"PRIu32",%"PRIu32,
927 ntohl(header.hdr_version),
928 ntohl(header.hdr_entries));
929 if (fsck_objects) {
930 if (args->from_promisor || index_pack_args)
932 * We cannot use --strict in index-pack because it
933 * checks both broken objects and links, but we only
934 * want to check for broken objects.
936 strvec_push(&cmd.args, "--fsck-objects");
937 else
938 strvec_pushf(&cmd.args, "--strict%s",
939 fsck_msg_types.buf);
942 if (index_pack_args) {
943 int i;
945 for (i = 0; i < cmd.args.nr; i++)
946 strvec_push(index_pack_args, cmd.args.v[i]);
949 cmd.in = demux.out;
950 cmd.git_cmd = 1;
951 if (start_command(&cmd))
952 die(_("fetch-pack: unable to fork off %s"), cmd_name);
953 if (do_keep && (pack_lockfiles || fsck_objects)) {
954 int is_well_formed;
955 char *pack_lockfile = index_pack_lockfile(cmd.out, &is_well_formed);
957 if (!is_well_formed)
958 die(_("fetch-pack: invalid index-pack output"));
959 if (pack_lockfile)
960 string_list_append_nodup(pack_lockfiles, pack_lockfile);
961 parse_gitmodules_oids(cmd.out, gitmodules_oids);
962 close(cmd.out);
965 if (!use_sideband)
966 /* Closed by start_command() */
967 xd[0] = -1;
969 ret = finish_command(&cmd);
970 if (!ret || (args->check_self_contained_and_connected && ret == 1))
971 args->self_contained_and_connected =
972 args->check_self_contained_and_connected &&
973 ret == 0;
974 else
975 die(_("%s failed"), cmd_name);
976 if (use_sideband && finish_async(&demux))
977 die(_("error in sideband demultiplexer"));
980 * Now that index-pack has succeeded, write the promisor file using the
981 * obtained .keep filename if necessary
983 if (do_keep && pack_lockfiles && pack_lockfiles->nr && args->from_promisor)
984 write_promisor_file(pack_lockfiles->items[0].string, sought, nr_sought);
986 return 0;
989 static int cmp_ref_by_name(const void *a_, const void *b_)
991 const struct ref *a = *((const struct ref **)a_);
992 const struct ref *b = *((const struct ref **)b_);
993 return strcmp(a->name, b->name);
996 static void fsck_gitmodules_oids(struct oidset *gitmodules_oids)
998 struct oidset_iter iter;
999 const struct object_id *oid;
1000 struct fsck_options fo = FSCK_OPTIONS_STRICT;
1002 if (!oidset_size(gitmodules_oids))
1003 return;
1005 oidset_iter_init(gitmodules_oids, &iter);
1006 while ((oid = oidset_iter_next(&iter)))
1007 register_found_gitmodules(oid);
1008 if (fsck_finish(&fo))
1009 die("fsck failed");
1012 static struct ref *do_fetch_pack(struct fetch_pack_args *args,
1013 int fd[2],
1014 const struct ref *orig_ref,
1015 struct ref **sought, int nr_sought,
1016 struct shallow_info *si,
1017 struct string_list *pack_lockfiles)
1019 struct repository *r = the_repository;
1020 struct ref *ref = copy_ref_list(orig_ref);
1021 struct object_id oid;
1022 const char *agent_feature;
1023 int agent_len;
1024 struct fetch_negotiator negotiator_alloc;
1025 struct fetch_negotiator *negotiator;
1026 struct oidset gitmodules_oids = OIDSET_INIT;
1028 negotiator = &negotiator_alloc;
1029 fetch_negotiator_init(r, negotiator);
1031 sort_ref_list(&ref, ref_compare_name);
1032 QSORT(sought, nr_sought, cmp_ref_by_name);
1034 if ((agent_feature = server_feature_value("agent", &agent_len))) {
1035 agent_supported = 1;
1036 if (agent_len)
1037 print_verbose(args, _("Server version is %.*s"),
1038 agent_len, agent_feature);
1041 if (!server_supports("session-id"))
1042 advertise_sid = 0;
1044 if (server_supports("shallow"))
1045 print_verbose(args, _("Server supports %s"), "shallow");
1046 else if (args->depth > 0 || is_repository_shallow(r))
1047 die(_("Server does not support shallow clients"));
1048 if (args->depth > 0 || args->deepen_since || args->deepen_not)
1049 args->deepen = 1;
1050 if (server_supports("multi_ack_detailed")) {
1051 print_verbose(args, _("Server supports %s"), "multi_ack_detailed");
1052 multi_ack = 2;
1053 if (server_supports("no-done")) {
1054 print_verbose(args, _("Server supports %s"), "no-done");
1055 if (args->stateless_rpc)
1056 no_done = 1;
1059 else if (server_supports("multi_ack")) {
1060 print_verbose(args, _("Server supports %s"), "multi_ack");
1061 multi_ack = 1;
1063 if (server_supports("side-band-64k")) {
1064 print_verbose(args, _("Server supports %s"), "side-band-64k");
1065 use_sideband = 2;
1067 else if (server_supports("side-band")) {
1068 print_verbose(args, _("Server supports %s"), "side-band");
1069 use_sideband = 1;
1071 if (server_supports("allow-tip-sha1-in-want")) {
1072 print_verbose(args, _("Server supports %s"), "allow-tip-sha1-in-want");
1073 allow_unadvertised_object_request |= ALLOW_TIP_SHA1;
1075 if (server_supports("allow-reachable-sha1-in-want")) {
1076 print_verbose(args, _("Server supports %s"), "allow-reachable-sha1-in-want");
1077 allow_unadvertised_object_request |= ALLOW_REACHABLE_SHA1;
1079 if (server_supports("thin-pack"))
1080 print_verbose(args, _("Server supports %s"), "thin-pack");
1081 else
1082 args->use_thin_pack = 0;
1083 if (server_supports("no-progress"))
1084 print_verbose(args, _("Server supports %s"), "no-progress");
1085 else
1086 args->no_progress = 0;
1087 if (server_supports("include-tag"))
1088 print_verbose(args, _("Server supports %s"), "include-tag");
1089 else
1090 args->include_tag = 0;
1091 if (server_supports("ofs-delta"))
1092 print_verbose(args, _("Server supports %s"), "ofs-delta");
1093 else
1094 prefer_ofs_delta = 0;
1096 if (server_supports("filter")) {
1097 server_supports_filtering = 1;
1098 print_verbose(args, _("Server supports %s"), "filter");
1099 } else if (args->filter_options.choice) {
1100 warning("filtering not recognized by server, ignoring");
1103 if (server_supports("deepen-since")) {
1104 print_verbose(args, _("Server supports %s"), "deepen-since");
1105 deepen_since_ok = 1;
1106 } else if (args->deepen_since)
1107 die(_("Server does not support --shallow-since"));
1108 if (server_supports("deepen-not")) {
1109 print_verbose(args, _("Server supports %s"), "deepen-not");
1110 deepen_not_ok = 1;
1111 } else if (args->deepen_not)
1112 die(_("Server does not support --shallow-exclude"));
1113 if (server_supports("deepen-relative"))
1114 print_verbose(args, _("Server supports %s"), "deepen-relative");
1115 else if (args->deepen_relative)
1116 die(_("Server does not support --deepen"));
1117 if (!server_supports_hash(the_hash_algo->name, NULL))
1118 die(_("Server does not support this repository's object format"));
1120 mark_complete_and_common_ref(negotiator, args, &ref);
1121 filter_refs(args, &ref, sought, nr_sought);
1122 if (everything_local(args, &ref)) {
1123 packet_flush(fd[1]);
1124 goto all_done;
1126 if (find_common(negotiator, args, fd, &oid, ref) < 0)
1127 if (!args->keep_pack)
1128 /* When cloning, it is not unusual to have
1129 * no common commit.
1131 warning(_("no common commits"));
1133 if (args->stateless_rpc)
1134 packet_flush(fd[1]);
1135 if (args->deepen)
1136 setup_alternate_shallow(&shallow_lock, &alternate_shallow_file,
1137 NULL);
1138 else if (si->nr_ours || si->nr_theirs)
1139 alternate_shallow_file = setup_temporary_shallow(si->shallow);
1140 else
1141 alternate_shallow_file = NULL;
1142 if (get_pack(args, fd, pack_lockfiles, NULL, sought, nr_sought,
1143 &gitmodules_oids))
1144 die(_("git fetch-pack: fetch failed."));
1145 fsck_gitmodules_oids(&gitmodules_oids);
1147 all_done:
1148 if (negotiator)
1149 negotiator->release(negotiator);
1150 return ref;
1153 static void add_shallow_requests(struct strbuf *req_buf,
1154 const struct fetch_pack_args *args)
1156 if (is_repository_shallow(the_repository))
1157 write_shallow_commits(req_buf, 1, NULL);
1158 if (args->depth > 0)
1159 packet_buf_write(req_buf, "deepen %d", args->depth);
1160 if (args->deepen_since) {
1161 timestamp_t max_age = approxidate(args->deepen_since);
1162 packet_buf_write(req_buf, "deepen-since %"PRItime, max_age);
1164 if (args->deepen_not) {
1165 int i;
1166 for (i = 0; i < args->deepen_not->nr; i++) {
1167 struct string_list_item *s = args->deepen_not->items + i;
1168 packet_buf_write(req_buf, "deepen-not %s", s->string);
1171 if (args->deepen_relative)
1172 packet_buf_write(req_buf, "deepen-relative\n");
1175 static void add_wants(const struct ref *wants, struct strbuf *req_buf)
1177 int use_ref_in_want = server_supports_feature("fetch", "ref-in-want", 0);
1179 for ( ; wants ; wants = wants->next) {
1180 const struct object_id *remote = &wants->old_oid;
1181 struct object *o;
1184 * If that object is complete (i.e. it is an ancestor of a
1185 * local ref), we tell them we have it but do not have to
1186 * tell them about its ancestors, which they already know
1187 * about.
1189 * We use lookup_object here because we are only
1190 * interested in the case we *know* the object is
1191 * reachable and we have already scanned it.
1193 if (((o = lookup_object(the_repository, remote)) != NULL) &&
1194 (o->flags & COMPLETE)) {
1195 continue;
1198 if (!use_ref_in_want || wants->exact_oid)
1199 packet_buf_write(req_buf, "want %s\n", oid_to_hex(remote));
1200 else
1201 packet_buf_write(req_buf, "want-ref %s\n", wants->name);
1205 static void add_common(struct strbuf *req_buf, struct oidset *common)
1207 struct oidset_iter iter;
1208 const struct object_id *oid;
1209 oidset_iter_init(common, &iter);
1211 while ((oid = oidset_iter_next(&iter))) {
1212 packet_buf_write(req_buf, "have %s\n", oid_to_hex(oid));
1216 static int add_haves(struct fetch_negotiator *negotiator,
1217 int seen_ack,
1218 struct strbuf *req_buf,
1219 int *haves_to_send, int *in_vain)
1221 int ret = 0;
1222 int haves_added = 0;
1223 const struct object_id *oid;
1225 while ((oid = negotiator->next(negotiator))) {
1226 packet_buf_write(req_buf, "have %s\n", oid_to_hex(oid));
1227 if (++haves_added >= *haves_to_send)
1228 break;
1231 *in_vain += haves_added;
1232 if (!haves_added || (seen_ack && *in_vain >= MAX_IN_VAIN)) {
1233 /* Send Done */
1234 packet_buf_write(req_buf, "done\n");
1235 ret = 1;
1238 /* Increase haves to send on next round */
1239 *haves_to_send = next_flush(1, *haves_to_send);
1241 return ret;
1244 static int send_fetch_request(struct fetch_negotiator *negotiator, int fd_out,
1245 struct fetch_pack_args *args,
1246 const struct ref *wants, struct oidset *common,
1247 int *haves_to_send, int *in_vain,
1248 int sideband_all, int seen_ack)
1250 int ret = 0;
1251 const char *hash_name;
1252 struct strbuf req_buf = STRBUF_INIT;
1254 if (server_supports_v2("fetch", 1))
1255 packet_buf_write(&req_buf, "command=fetch");
1256 if (server_supports_v2("agent", 0))
1257 packet_buf_write(&req_buf, "agent=%s", git_user_agent_sanitized());
1258 if (advertise_sid && server_supports_v2("session-id", 0))
1259 packet_buf_write(&req_buf, "session-id=%s", trace2_session_id());
1260 if (args->server_options && args->server_options->nr &&
1261 server_supports_v2("server-option", 1)) {
1262 int i;
1263 for (i = 0; i < args->server_options->nr; i++)
1264 packet_buf_write(&req_buf, "server-option=%s",
1265 args->server_options->items[i].string);
1268 if (server_feature_v2("object-format", &hash_name)) {
1269 int hash_algo = hash_algo_by_name(hash_name);
1270 if (hash_algo_by_ptr(the_hash_algo) != hash_algo)
1271 die(_("mismatched algorithms: client %s; server %s"),
1272 the_hash_algo->name, hash_name);
1273 packet_write_fmt(fd_out, "object-format=%s", the_hash_algo->name);
1274 } else if (hash_algo_by_ptr(the_hash_algo) != GIT_HASH_SHA1) {
1275 die(_("the server does not support algorithm '%s'"),
1276 the_hash_algo->name);
1279 packet_buf_delim(&req_buf);
1280 if (args->use_thin_pack)
1281 packet_buf_write(&req_buf, "thin-pack");
1282 if (args->no_progress)
1283 packet_buf_write(&req_buf, "no-progress");
1284 if (args->include_tag)
1285 packet_buf_write(&req_buf, "include-tag");
1286 if (prefer_ofs_delta)
1287 packet_buf_write(&req_buf, "ofs-delta");
1288 if (sideband_all)
1289 packet_buf_write(&req_buf, "sideband-all");
1291 /* Add shallow-info and deepen request */
1292 if (server_supports_feature("fetch", "shallow", 0))
1293 add_shallow_requests(&req_buf, args);
1294 else if (is_repository_shallow(the_repository) || args->deepen)
1295 die(_("Server does not support shallow requests"));
1297 /* Add filter */
1298 if (server_supports_feature("fetch", "filter", 0) &&
1299 args->filter_options.choice) {
1300 const char *spec =
1301 expand_list_objects_filter_spec(&args->filter_options);
1302 print_verbose(args, _("Server supports filter"));
1303 packet_buf_write(&req_buf, "filter %s", spec);
1304 } else if (args->filter_options.choice) {
1305 warning("filtering not recognized by server, ignoring");
1308 if (server_supports_feature("fetch", "packfile-uris", 0)) {
1309 int i;
1310 struct strbuf to_send = STRBUF_INIT;
1312 for (i = 0; i < uri_protocols.nr; i++) {
1313 const char *s = uri_protocols.items[i].string;
1315 if (!strcmp(s, "https") || !strcmp(s, "http")) {
1316 if (to_send.len)
1317 strbuf_addch(&to_send, ',');
1318 strbuf_addstr(&to_send, s);
1321 if (to_send.len) {
1322 packet_buf_write(&req_buf, "packfile-uris %s",
1323 to_send.buf);
1324 strbuf_release(&to_send);
1328 /* add wants */
1329 add_wants(wants, &req_buf);
1331 /* Add all of the common commits we've found in previous rounds */
1332 add_common(&req_buf, common);
1334 /* Add initial haves */
1335 ret = add_haves(negotiator, seen_ack, &req_buf,
1336 haves_to_send, in_vain);
1338 /* Send request */
1339 packet_buf_flush(&req_buf);
1340 if (write_in_full(fd_out, req_buf.buf, req_buf.len) < 0)
1341 die_errno(_("unable to write request to remote"));
1343 strbuf_release(&req_buf);
1344 return ret;
1348 * Processes a section header in a server's response and checks if it matches
1349 * `section`. If the value of `peek` is 1, the header line will be peeked (and
1350 * not consumed); if 0, the line will be consumed and the function will die if
1351 * the section header doesn't match what was expected.
1353 static int process_section_header(struct packet_reader *reader,
1354 const char *section, int peek)
1356 int ret;
1358 if (packet_reader_peek(reader) != PACKET_READ_NORMAL)
1359 die(_("error reading section header '%s'"), section);
1361 ret = !strcmp(reader->line, section);
1363 if (!peek) {
1364 if (!ret)
1365 die(_("expected '%s', received '%s'"),
1366 section, reader->line);
1367 packet_reader_read(reader);
1370 return ret;
1373 enum common_found {
1375 * No commit was found to be possessed by both the client and the
1376 * server, and "ready" was not received.
1378 NO_COMMON_FOUND,
1381 * At least one commit was found to be possessed by both the client and
1382 * the server, and "ready" was not received.
1384 COMMON_FOUND,
1387 * "ready" was received, indicating that the server is ready to send
1388 * the packfile without any further negotiation.
1390 READY
1393 static enum common_found process_acks(struct fetch_negotiator *negotiator,
1394 struct packet_reader *reader,
1395 struct oidset *common)
1397 /* received */
1398 int received_ready = 0;
1399 int received_ack = 0;
1401 process_section_header(reader, "acknowledgments", 0);
1402 while (packet_reader_read(reader) == PACKET_READ_NORMAL) {
1403 const char *arg;
1405 if (!strcmp(reader->line, "NAK"))
1406 continue;
1408 if (skip_prefix(reader->line, "ACK ", &arg)) {
1409 struct object_id oid;
1410 received_ack = 1;
1411 if (!get_oid_hex(arg, &oid)) {
1412 struct commit *commit;
1413 oidset_insert(common, &oid);
1414 commit = lookup_commit(the_repository, &oid);
1415 if (negotiator)
1416 negotiator->ack(negotiator, commit);
1418 continue;
1421 if (!strcmp(reader->line, "ready")) {
1422 received_ready = 1;
1423 continue;
1426 die(_("unexpected acknowledgment line: '%s'"), reader->line);
1429 if (reader->status != PACKET_READ_FLUSH &&
1430 reader->status != PACKET_READ_DELIM)
1431 die(_("error processing acks: %d"), reader->status);
1434 * If an "acknowledgments" section is sent, a packfile is sent if and
1435 * only if "ready" was sent in this section. The other sections
1436 * ("shallow-info" and "wanted-refs") are sent only if a packfile is
1437 * sent. Therefore, a DELIM is expected if "ready" is sent, and a FLUSH
1438 * otherwise.
1440 if (received_ready && reader->status != PACKET_READ_DELIM)
1441 die(_("expected packfile to be sent after 'ready'"));
1442 if (!received_ready && reader->status != PACKET_READ_FLUSH)
1443 die(_("expected no other sections to be sent after no 'ready'"));
1445 return received_ready ? READY :
1446 (received_ack ? COMMON_FOUND : NO_COMMON_FOUND);
1449 static void receive_shallow_info(struct fetch_pack_args *args,
1450 struct packet_reader *reader,
1451 struct oid_array *shallows,
1452 struct shallow_info *si)
1454 int unshallow_received = 0;
1456 process_section_header(reader, "shallow-info", 0);
1457 while (packet_reader_read(reader) == PACKET_READ_NORMAL) {
1458 const char *arg;
1459 struct object_id oid;
1461 if (skip_prefix(reader->line, "shallow ", &arg)) {
1462 if (get_oid_hex(arg, &oid))
1463 die(_("invalid shallow line: %s"), reader->line);
1464 oid_array_append(shallows, &oid);
1465 continue;
1467 if (skip_prefix(reader->line, "unshallow ", &arg)) {
1468 if (get_oid_hex(arg, &oid))
1469 die(_("invalid unshallow line: %s"), reader->line);
1470 if (!lookup_object(the_repository, &oid))
1471 die(_("object not found: %s"), reader->line);
1472 /* make sure that it is parsed as shallow */
1473 if (!parse_object(the_repository, &oid))
1474 die(_("error in object: %s"), reader->line);
1475 if (unregister_shallow(&oid))
1476 die(_("no shallow found: %s"), reader->line);
1477 unshallow_received = 1;
1478 continue;
1480 die(_("expected shallow/unshallow, got %s"), reader->line);
1483 if (reader->status != PACKET_READ_FLUSH &&
1484 reader->status != PACKET_READ_DELIM)
1485 die(_("error processing shallow info: %d"), reader->status);
1487 if (args->deepen || unshallow_received) {
1489 * Treat these as shallow lines caused by our depth settings.
1490 * In v0, these lines cannot cause refs to be rejected; do the
1491 * same.
1493 int i;
1495 for (i = 0; i < shallows->nr; i++)
1496 register_shallow(the_repository, &shallows->oid[i]);
1497 setup_alternate_shallow(&shallow_lock, &alternate_shallow_file,
1498 NULL);
1499 args->deepen = 1;
1500 } else if (shallows->nr) {
1502 * Treat these as shallow lines caused by the remote being
1503 * shallow. In v0, remote refs that reach these objects are
1504 * rejected (unless --update-shallow is set); do the same.
1506 prepare_shallow_info(si, shallows);
1507 if (si->nr_ours || si->nr_theirs)
1508 alternate_shallow_file =
1509 setup_temporary_shallow(si->shallow);
1510 else
1511 alternate_shallow_file = NULL;
1512 } else {
1513 alternate_shallow_file = NULL;
1517 static int cmp_name_ref(const void *name, const void *ref)
1519 return strcmp(name, (*(struct ref **)ref)->name);
1522 static void receive_wanted_refs(struct packet_reader *reader,
1523 struct ref **sought, int nr_sought)
1525 process_section_header(reader, "wanted-refs", 0);
1526 while (packet_reader_read(reader) == PACKET_READ_NORMAL) {
1527 struct object_id oid;
1528 const char *end;
1529 struct ref **found;
1531 if (parse_oid_hex(reader->line, &oid, &end) || *end++ != ' ')
1532 die(_("expected wanted-ref, got '%s'"), reader->line);
1534 found = bsearch(end, sought, nr_sought, sizeof(*sought),
1535 cmp_name_ref);
1536 if (!found)
1537 die(_("unexpected wanted-ref: '%s'"), reader->line);
1538 oidcpy(&(*found)->old_oid, &oid);
1541 if (reader->status != PACKET_READ_DELIM)
1542 die(_("error processing wanted refs: %d"), reader->status);
1545 static void receive_packfile_uris(struct packet_reader *reader,
1546 struct string_list *uris)
1548 process_section_header(reader, "packfile-uris", 0);
1549 while (packet_reader_read(reader) == PACKET_READ_NORMAL) {
1550 if (reader->pktlen < the_hash_algo->hexsz ||
1551 reader->line[the_hash_algo->hexsz] != ' ')
1552 die("expected '<hash> <uri>', got: %s\n", reader->line);
1554 string_list_append(uris, reader->line);
1556 if (reader->status != PACKET_READ_DELIM)
1557 die("expected DELIM");
1560 enum fetch_state {
1561 FETCH_CHECK_LOCAL = 0,
1562 FETCH_SEND_REQUEST,
1563 FETCH_PROCESS_ACKS,
1564 FETCH_GET_PACK,
1565 FETCH_DONE,
1568 static void do_check_stateless_delimiter(const struct fetch_pack_args *args,
1569 struct packet_reader *reader)
1571 check_stateless_delimiter(args->stateless_rpc, reader,
1572 _("git fetch-pack: expected response end packet"));
1575 static struct ref *do_fetch_pack_v2(struct fetch_pack_args *args,
1576 int fd[2],
1577 const struct ref *orig_ref,
1578 struct ref **sought, int nr_sought,
1579 struct oid_array *shallows,
1580 struct shallow_info *si,
1581 struct string_list *pack_lockfiles)
1583 struct repository *r = the_repository;
1584 struct ref *ref = copy_ref_list(orig_ref);
1585 enum fetch_state state = FETCH_CHECK_LOCAL;
1586 struct oidset common = OIDSET_INIT;
1587 struct packet_reader reader;
1588 int in_vain = 0, negotiation_started = 0;
1589 int haves_to_send = INITIAL_FLUSH;
1590 struct fetch_negotiator negotiator_alloc;
1591 struct fetch_negotiator *negotiator;
1592 int seen_ack = 0;
1593 struct string_list packfile_uris = STRING_LIST_INIT_DUP;
1594 int i;
1595 struct strvec index_pack_args = STRVEC_INIT;
1596 struct oidset gitmodules_oids = OIDSET_INIT;
1598 negotiator = &negotiator_alloc;
1599 fetch_negotiator_init(r, negotiator);
1601 packet_reader_init(&reader, fd[0], NULL, 0,
1602 PACKET_READ_CHOMP_NEWLINE |
1603 PACKET_READ_DIE_ON_ERR_PACKET);
1604 if (git_env_bool("GIT_TEST_SIDEBAND_ALL", 1) &&
1605 server_supports_feature("fetch", "sideband-all", 0)) {
1606 reader.use_sideband = 1;
1607 reader.me = "fetch-pack";
1610 while (state != FETCH_DONE) {
1611 switch (state) {
1612 case FETCH_CHECK_LOCAL:
1613 sort_ref_list(&ref, ref_compare_name);
1614 QSORT(sought, nr_sought, cmp_ref_by_name);
1616 /* v2 supports these by default */
1617 allow_unadvertised_object_request |= ALLOW_REACHABLE_SHA1;
1618 use_sideband = 2;
1619 if (args->depth > 0 || args->deepen_since || args->deepen_not)
1620 args->deepen = 1;
1622 /* Filter 'ref' by 'sought' and those that aren't local */
1623 mark_complete_and_common_ref(negotiator, args, &ref);
1624 filter_refs(args, &ref, sought, nr_sought);
1625 if (everything_local(args, &ref))
1626 state = FETCH_DONE;
1627 else
1628 state = FETCH_SEND_REQUEST;
1630 mark_tips(negotiator, args->negotiation_tips);
1631 for_each_cached_alternate(negotiator,
1632 insert_one_alternate_object);
1633 break;
1634 case FETCH_SEND_REQUEST:
1635 if (!negotiation_started) {
1636 negotiation_started = 1;
1637 trace2_region_enter("fetch-pack",
1638 "negotiation_v2",
1639 the_repository);
1641 if (send_fetch_request(negotiator, fd[1], args, ref,
1642 &common,
1643 &haves_to_send, &in_vain,
1644 reader.use_sideband,
1645 seen_ack))
1646 state = FETCH_GET_PACK;
1647 else
1648 state = FETCH_PROCESS_ACKS;
1649 break;
1650 case FETCH_PROCESS_ACKS:
1651 /* Process ACKs/NAKs */
1652 switch (process_acks(negotiator, &reader, &common)) {
1653 case READY:
1655 * Don't check for response delimiter; get_pack() will
1656 * read the rest of this response.
1658 state = FETCH_GET_PACK;
1659 break;
1660 case COMMON_FOUND:
1661 in_vain = 0;
1662 seen_ack = 1;
1663 /* fallthrough */
1664 case NO_COMMON_FOUND:
1665 do_check_stateless_delimiter(args, &reader);
1666 state = FETCH_SEND_REQUEST;
1667 break;
1669 break;
1670 case FETCH_GET_PACK:
1671 trace2_region_leave("fetch-pack",
1672 "negotiation_v2",
1673 the_repository);
1674 /* Check for shallow-info section */
1675 if (process_section_header(&reader, "shallow-info", 1))
1676 receive_shallow_info(args, &reader, shallows, si);
1678 if (process_section_header(&reader, "wanted-refs", 1))
1679 receive_wanted_refs(&reader, sought, nr_sought);
1681 /* get the pack(s) */
1682 if (process_section_header(&reader, "packfile-uris", 1))
1683 receive_packfile_uris(&reader, &packfile_uris);
1684 process_section_header(&reader, "packfile", 0);
1685 if (get_pack(args, fd, pack_lockfiles,
1686 packfile_uris.nr ? &index_pack_args : NULL,
1687 sought, nr_sought, &gitmodules_oids))
1688 die(_("git fetch-pack: fetch failed."));
1689 do_check_stateless_delimiter(args, &reader);
1691 state = FETCH_DONE;
1692 break;
1693 case FETCH_DONE:
1694 continue;
1698 for (i = 0; i < packfile_uris.nr; i++) {
1699 int j;
1700 struct child_process cmd = CHILD_PROCESS_INIT;
1701 char packname[GIT_MAX_HEXSZ + 1];
1702 const char *uri = packfile_uris.items[i].string +
1703 the_hash_algo->hexsz + 1;
1705 strvec_push(&cmd.args, "http-fetch");
1706 strvec_pushf(&cmd.args, "--packfile=%.*s",
1707 (int) the_hash_algo->hexsz,
1708 packfile_uris.items[i].string);
1709 for (j = 0; j < index_pack_args.nr; j++)
1710 strvec_pushf(&cmd.args, "--index-pack-arg=%s",
1711 index_pack_args.v[j]);
1712 strvec_push(&cmd.args, uri);
1713 cmd.git_cmd = 1;
1714 cmd.no_stdin = 1;
1715 cmd.out = -1;
1716 if (start_command(&cmd))
1717 die("fetch-pack: unable to spawn http-fetch");
1719 if (read_in_full(cmd.out, packname, 5) < 0 ||
1720 memcmp(packname, "keep\t", 5))
1721 die("fetch-pack: expected keep then TAB at start of http-fetch output");
1723 if (read_in_full(cmd.out, packname,
1724 the_hash_algo->hexsz + 1) < 0 ||
1725 packname[the_hash_algo->hexsz] != '\n')
1726 die("fetch-pack: expected hash then LF at end of http-fetch output");
1728 packname[the_hash_algo->hexsz] = '\0';
1730 parse_gitmodules_oids(cmd.out, &gitmodules_oids);
1732 close(cmd.out);
1734 if (finish_command(&cmd))
1735 die("fetch-pack: unable to finish http-fetch");
1737 if (memcmp(packfile_uris.items[i].string, packname,
1738 the_hash_algo->hexsz))
1739 die("fetch-pack: pack downloaded from %s does not match expected hash %.*s",
1740 uri, (int) the_hash_algo->hexsz,
1741 packfile_uris.items[i].string);
1743 string_list_append_nodup(pack_lockfiles,
1744 xstrfmt("%s/pack/pack-%s.keep",
1745 get_object_directory(),
1746 packname));
1748 string_list_clear(&packfile_uris, 0);
1749 strvec_clear(&index_pack_args);
1751 fsck_gitmodules_oids(&gitmodules_oids);
1753 if (negotiator)
1754 negotiator->release(negotiator);
1756 oidset_clear(&common);
1757 return ref;
1760 static int fetch_pack_config_cb(const char *var, const char *value, void *cb)
1762 if (strcmp(var, "fetch.fsck.skiplist") == 0) {
1763 const char *path;
1765 if (git_config_pathname(&path, var, value))
1766 return 1;
1767 strbuf_addf(&fsck_msg_types, "%cskiplist=%s",
1768 fsck_msg_types.len ? ',' : '=', path);
1769 free((char *)path);
1770 return 0;
1773 if (skip_prefix(var, "fetch.fsck.", &var)) {
1774 if (is_valid_msg_type(var, value))
1775 strbuf_addf(&fsck_msg_types, "%c%s=%s",
1776 fsck_msg_types.len ? ',' : '=', var, value);
1777 else
1778 warning("Skipping unknown msg id '%s'", var);
1779 return 0;
1782 return git_default_config(var, value, cb);
1785 static void fetch_pack_config(void)
1787 git_config_get_int("fetch.unpacklimit", &fetch_unpack_limit);
1788 git_config_get_int("transfer.unpacklimit", &transfer_unpack_limit);
1789 git_config_get_bool("repack.usedeltabaseoffset", &prefer_ofs_delta);
1790 git_config_get_bool("fetch.fsckobjects", &fetch_fsck_objects);
1791 git_config_get_bool("transfer.fsckobjects", &transfer_fsck_objects);
1792 git_config_get_bool("transfer.advertisesid", &advertise_sid);
1793 if (!uri_protocols.nr) {
1794 char *str;
1796 if (!git_config_get_string("fetch.uriprotocols", &str) && str) {
1797 string_list_split(&uri_protocols, str, ',', -1);
1798 free(str);
1802 git_config(fetch_pack_config_cb, NULL);
1805 static void fetch_pack_setup(void)
1807 static int did_setup;
1808 if (did_setup)
1809 return;
1810 fetch_pack_config();
1811 if (0 <= transfer_unpack_limit)
1812 unpack_limit = transfer_unpack_limit;
1813 else if (0 <= fetch_unpack_limit)
1814 unpack_limit = fetch_unpack_limit;
1815 did_setup = 1;
1818 static int remove_duplicates_in_refs(struct ref **ref, int nr)
1820 struct string_list names = STRING_LIST_INIT_NODUP;
1821 int src, dst;
1823 for (src = dst = 0; src < nr; src++) {
1824 struct string_list_item *item;
1825 item = string_list_insert(&names, ref[src]->name);
1826 if (item->util)
1827 continue; /* already have it */
1828 item->util = ref[src];
1829 if (src != dst)
1830 ref[dst] = ref[src];
1831 dst++;
1833 for (src = dst; src < nr; src++)
1834 ref[src] = NULL;
1835 string_list_clear(&names, 0);
1836 return dst;
1839 static void update_shallow(struct fetch_pack_args *args,
1840 struct ref **sought, int nr_sought,
1841 struct shallow_info *si)
1843 struct oid_array ref = OID_ARRAY_INIT;
1844 int *status;
1845 int i;
1847 if (args->deepen && alternate_shallow_file) {
1848 if (*alternate_shallow_file == '\0') { /* --unshallow */
1849 unlink_or_warn(git_path_shallow(the_repository));
1850 rollback_shallow_file(the_repository, &shallow_lock);
1851 } else
1852 commit_shallow_file(the_repository, &shallow_lock);
1853 alternate_shallow_file = NULL;
1854 return;
1857 if (!si->shallow || !si->shallow->nr)
1858 return;
1860 if (args->cloning) {
1862 * remote is shallow, but this is a clone, there are
1863 * no objects in repo to worry about. Accept any
1864 * shallow points that exist in the pack (iow in repo
1865 * after get_pack() and reprepare_packed_git())
1867 struct oid_array extra = OID_ARRAY_INIT;
1868 struct object_id *oid = si->shallow->oid;
1869 for (i = 0; i < si->shallow->nr; i++)
1870 if (has_object_file(&oid[i]))
1871 oid_array_append(&extra, &oid[i]);
1872 if (extra.nr) {
1873 setup_alternate_shallow(&shallow_lock,
1874 &alternate_shallow_file,
1875 &extra);
1876 commit_shallow_file(the_repository, &shallow_lock);
1877 alternate_shallow_file = NULL;
1879 oid_array_clear(&extra);
1880 return;
1883 if (!si->nr_ours && !si->nr_theirs)
1884 return;
1886 remove_nonexistent_theirs_shallow(si);
1887 if (!si->nr_ours && !si->nr_theirs)
1888 return;
1889 for (i = 0; i < nr_sought; i++)
1890 oid_array_append(&ref, &sought[i]->old_oid);
1891 si->ref = &ref;
1893 if (args->update_shallow) {
1895 * remote is also shallow, .git/shallow may be updated
1896 * so all refs can be accepted. Make sure we only add
1897 * shallow roots that are actually reachable from new
1898 * refs.
1900 struct oid_array extra = OID_ARRAY_INIT;
1901 struct object_id *oid = si->shallow->oid;
1902 assign_shallow_commits_to_refs(si, NULL, NULL);
1903 if (!si->nr_ours && !si->nr_theirs) {
1904 oid_array_clear(&ref);
1905 return;
1907 for (i = 0; i < si->nr_ours; i++)
1908 oid_array_append(&extra, &oid[si->ours[i]]);
1909 for (i = 0; i < si->nr_theirs; i++)
1910 oid_array_append(&extra, &oid[si->theirs[i]]);
1911 setup_alternate_shallow(&shallow_lock,
1912 &alternate_shallow_file,
1913 &extra);
1914 commit_shallow_file(the_repository, &shallow_lock);
1915 oid_array_clear(&extra);
1916 oid_array_clear(&ref);
1917 alternate_shallow_file = NULL;
1918 return;
1922 * remote is also shallow, check what ref is safe to update
1923 * without updating .git/shallow
1925 status = xcalloc(nr_sought, sizeof(*status));
1926 assign_shallow_commits_to_refs(si, NULL, status);
1927 if (si->nr_ours || si->nr_theirs) {
1928 for (i = 0; i < nr_sought; i++)
1929 if (status[i])
1930 sought[i]->status = REF_STATUS_REJECT_SHALLOW;
1932 free(status);
1933 oid_array_clear(&ref);
1936 static int iterate_ref_map(void *cb_data, struct object_id *oid)
1938 struct ref **rm = cb_data;
1939 struct ref *ref = *rm;
1941 if (!ref)
1942 return -1; /* end of the list */
1943 *rm = ref->next;
1944 oidcpy(oid, &ref->old_oid);
1945 return 0;
1948 struct ref *fetch_pack(struct fetch_pack_args *args,
1949 int fd[],
1950 const struct ref *ref,
1951 struct ref **sought, int nr_sought,
1952 struct oid_array *shallow,
1953 struct string_list *pack_lockfiles,
1954 enum protocol_version version)
1956 struct ref *ref_cpy;
1957 struct shallow_info si;
1958 struct oid_array shallows_scratch = OID_ARRAY_INIT;
1960 fetch_pack_setup();
1961 if (nr_sought)
1962 nr_sought = remove_duplicates_in_refs(sought, nr_sought);
1964 if (version != protocol_v2 && !ref) {
1965 packet_flush(fd[1]);
1966 die(_("no matching remote head"));
1968 if (version == protocol_v2) {
1969 if (shallow->nr)
1970 BUG("Protocol V2 does not provide shallows at this point in the fetch");
1971 memset(&si, 0, sizeof(si));
1972 ref_cpy = do_fetch_pack_v2(args, fd, ref, sought, nr_sought,
1973 &shallows_scratch, &si,
1974 pack_lockfiles);
1975 } else {
1976 prepare_shallow_info(&si, shallow);
1977 ref_cpy = do_fetch_pack(args, fd, ref, sought, nr_sought,
1978 &si, pack_lockfiles);
1980 reprepare_packed_git(the_repository);
1982 if (!args->cloning && args->deepen) {
1983 struct check_connected_options opt = CHECK_CONNECTED_INIT;
1984 struct ref *iterator = ref_cpy;
1985 opt.shallow_file = alternate_shallow_file;
1986 if (args->deepen)
1987 opt.is_deepening_fetch = 1;
1988 if (check_connected(iterate_ref_map, &iterator, &opt)) {
1989 error(_("remote did not send all necessary objects"));
1990 free_refs(ref_cpy);
1991 ref_cpy = NULL;
1992 rollback_shallow_file(the_repository, &shallow_lock);
1993 goto cleanup;
1995 args->connectivity_checked = 1;
1998 update_shallow(args, sought, nr_sought, &si);
1999 cleanup:
2000 clear_shallow_info(&si);
2001 oid_array_clear(&shallows_scratch);
2002 return ref_cpy;
2005 int report_unmatched_refs(struct ref **sought, int nr_sought)
2007 int i, ret = 0;
2009 for (i = 0; i < nr_sought; i++) {
2010 if (!sought[i])
2011 continue;
2012 switch (sought[i]->match_status) {
2013 case REF_MATCHED:
2014 continue;
2015 case REF_NOT_MATCHED:
2016 error(_("no such remote ref %s"), sought[i]->name);
2017 break;
2018 case REF_UNADVERTISED_NOT_ALLOWED:
2019 error(_("Server does not allow request for unadvertised object %s"),
2020 sought[i]->name);
2021 break;
2023 ret = 1;
2025 return ret;