]> git.ipfire.org Git - thirdparty/git.git/blob - bundle.c
bundle: add flags to verify_bundle()
[thirdparty/git.git] / bundle.c
1 #include "cache.h"
2 #include "lockfile.h"
3 #include "bundle.h"
4 #include "object-store.h"
5 #include "repository.h"
6 #include "object.h"
7 #include "commit.h"
8 #include "diff.h"
9 #include "revision.h"
10 #include "list-objects.h"
11 #include "run-command.h"
12 #include "refs.h"
13 #include "strvec.h"
14 #include "list-objects-filter-options.h"
15
16 static const char v2_bundle_signature[] = "# v2 git bundle\n";
17 static const char v3_bundle_signature[] = "# v3 git bundle\n";
18 static struct {
19 int version;
20 const char *signature;
21 } bundle_sigs[] = {
22 { 2, v2_bundle_signature },
23 { 3, v3_bundle_signature },
24 };
25
26 void bundle_header_init(struct bundle_header *header)
27 {
28 struct bundle_header blank = BUNDLE_HEADER_INIT;
29 memcpy(header, &blank, sizeof(*header));
30 }
31
32 void bundle_header_release(struct bundle_header *header)
33 {
34 string_list_clear(&header->prerequisites, 1);
35 string_list_clear(&header->references, 1);
36 list_objects_filter_release(&header->filter);
37 }
38
39 static int parse_capability(struct bundle_header *header, const char *capability)
40 {
41 const char *arg;
42 if (skip_prefix(capability, "object-format=", &arg)) {
43 int algo = hash_algo_by_name(arg);
44 if (algo == GIT_HASH_UNKNOWN)
45 return error(_("unrecognized bundle hash algorithm: %s"), arg);
46 header->hash_algo = &hash_algos[algo];
47 return 0;
48 }
49 if (skip_prefix(capability, "filter=", &arg)) {
50 parse_list_objects_filter(&header->filter, arg);
51 return 0;
52 }
53 return error(_("unknown capability '%s'"), capability);
54 }
55
56 static int parse_bundle_signature(struct bundle_header *header, const char *line)
57 {
58 int i;
59
60 for (i = 0; i < ARRAY_SIZE(bundle_sigs); i++) {
61 if (!strcmp(line, bundle_sigs[i].signature)) {
62 header->version = bundle_sigs[i].version;
63 return 0;
64 }
65 }
66 return -1;
67 }
68
69 int read_bundle_header_fd(int fd, struct bundle_header *header,
70 const char *report_path)
71 {
72 struct strbuf buf = STRBUF_INIT;
73 int status = 0;
74
75 /* The bundle header begins with the signature */
76 if (strbuf_getwholeline_fd(&buf, fd, '\n') ||
77 parse_bundle_signature(header, buf.buf)) {
78 if (report_path)
79 error(_("'%s' does not look like a v2 or v3 bundle file"),
80 report_path);
81 status = -1;
82 goto abort;
83 }
84
85 header->hash_algo = the_hash_algo;
86
87 /* The bundle header ends with an empty line */
88 while (!strbuf_getwholeline_fd(&buf, fd, '\n') &&
89 buf.len && buf.buf[0] != '\n') {
90 struct object_id oid;
91 int is_prereq = 0;
92 const char *p;
93
94 strbuf_rtrim(&buf);
95
96 if (header->version == 3 && *buf.buf == '@') {
97 if (parse_capability(header, buf.buf + 1)) {
98 status = -1;
99 break;
100 }
101 continue;
102 }
103
104 if (*buf.buf == '-') {
105 is_prereq = 1;
106 strbuf_remove(&buf, 0, 1);
107 }
108
109 /*
110 * Tip lines have object name, SP, and refname.
111 * Prerequisites have object name that is optionally
112 * followed by SP and subject line.
113 */
114 if (parse_oid_hex_algop(buf.buf, &oid, &p, header->hash_algo) ||
115 (*p && !isspace(*p)) ||
116 (!is_prereq && !*p)) {
117 if (report_path)
118 error(_("unrecognized header: %s%s (%d)"),
119 (is_prereq ? "-" : ""), buf.buf, (int)buf.len);
120 status = -1;
121 break;
122 } else {
123 struct object_id *dup = oiddup(&oid);
124 if (is_prereq)
125 string_list_append(&header->prerequisites, "")->util = dup;
126 else
127 string_list_append(&header->references, p + 1)->util = dup;
128 }
129 }
130
131 abort:
132 if (status) {
133 close(fd);
134 fd = -1;
135 }
136 strbuf_release(&buf);
137 return fd;
138 }
139
140 int read_bundle_header(const char *path, struct bundle_header *header)
141 {
142 int fd = open(path, O_RDONLY);
143
144 if (fd < 0)
145 return error(_("could not open '%s'"), path);
146 return read_bundle_header_fd(fd, header, path);
147 }
148
149 int is_bundle(const char *path, int quiet)
150 {
151 struct bundle_header header = BUNDLE_HEADER_INIT;
152 int fd = open(path, O_RDONLY);
153
154 if (fd < 0)
155 return 0;
156 fd = read_bundle_header_fd(fd, &header, quiet ? NULL : path);
157 if (fd >= 0)
158 close(fd);
159 bundle_header_release(&header);
160 return (fd >= 0);
161 }
162
163 static int list_refs(struct string_list *r, int argc, const char **argv)
164 {
165 int i;
166
167 for (i = 0; i < r->nr; i++) {
168 struct object_id *oid;
169 const char *name;
170
171 if (argc > 1) {
172 int j;
173 for (j = 1; j < argc; j++)
174 if (!strcmp(r->items[i].string, argv[j]))
175 break;
176 if (j == argc)
177 continue;
178 }
179
180 oid = r->items[i].util;
181 name = r->items[i].string;
182 printf("%s %s\n", oid_to_hex(oid), name);
183 }
184 return 0;
185 }
186
187 /* Remember to update object flag allocation in object.h */
188 #define PREREQ_MARK (1u<<16)
189
190 int verify_bundle(struct repository *r,
191 struct bundle_header *header,
192 enum verify_bundle_flags flags)
193 {
194 /*
195 * Do fast check, then if any prereqs are missing then go line by line
196 * to be verbose about the errors
197 */
198 struct string_list *p = &header->prerequisites;
199 struct rev_info revs = REV_INFO_INIT;
200 const char *argv[] = {NULL, "--all", NULL};
201 struct commit *commit;
202 int i, ret = 0, req_nr;
203 const char *message = _("Repository lacks these prerequisite commits:");
204
205 if (!r || !r->objects || !r->objects->odb)
206 return error(_("need a repository to verify a bundle"));
207
208 repo_init_revisions(r, &revs, NULL);
209 for (i = 0; i < p->nr; i++) {
210 struct string_list_item *e = p->items + i;
211 const char *name = e->string;
212 struct object_id *oid = e->util;
213 struct object *o = parse_object(r, oid);
214 if (o) {
215 o->flags |= PREREQ_MARK;
216 add_pending_object(&revs, o, name);
217 continue;
218 }
219 if (++ret == 1)
220 error("%s", message);
221 error("%s %s", oid_to_hex(oid), name);
222 }
223 if (revs.pending.nr != p->nr)
224 goto cleanup;
225 req_nr = revs.pending.nr;
226 setup_revisions(2, argv, &revs, NULL);
227
228 list_objects_filter_copy(&revs.filter, &header->filter);
229
230 if (prepare_revision_walk(&revs))
231 die(_("revision walk setup failed"));
232
233 i = req_nr;
234 while (i && (commit = get_revision(&revs)))
235 if (commit->object.flags & PREREQ_MARK)
236 i--;
237
238 for (i = 0; i < p->nr; i++) {
239 struct string_list_item *e = p->items + i;
240 const char *name = e->string;
241 const struct object_id *oid = e->util;
242 struct object *o = parse_object(r, oid);
243 assert(o); /* otherwise we'd have returned early */
244 if (o->flags & SHOWN)
245 continue;
246 if (++ret == 1)
247 error("%s", message);
248 error("%s %s", oid_to_hex(oid), name);
249 }
250
251 if (flags & VERIFY_BUNDLE_VERBOSE) {
252 struct string_list *r;
253
254 r = &header->references;
255 printf_ln(Q_("The bundle contains this ref:",
256 "The bundle contains these %"PRIuMAX" refs:",
257 r->nr),
258 (uintmax_t)r->nr);
259 list_refs(r, 0, NULL);
260
261 r = &header->prerequisites;
262 if (!r->nr) {
263 printf_ln(_("The bundle records a complete history."));
264 } else {
265 printf_ln(Q_("The bundle requires this ref:",
266 "The bundle requires these %"PRIuMAX" refs:",
267 r->nr),
268 (uintmax_t)r->nr);
269 list_refs(r, 0, NULL);
270 }
271
272 printf_ln("The bundle uses this hash algorithm: %s",
273 header->hash_algo->name);
274 if (header->filter.choice)
275 printf_ln("The bundle uses this filter: %s",
276 list_objects_filter_spec(&header->filter));
277 }
278 cleanup:
279 /* Clean up objects used, as they will be reused. */
280 for (i = 0; i < p->nr; i++) {
281 struct string_list_item *e = p->items + i;
282 struct object_id *oid = e->util;
283 commit = lookup_commit_reference_gently(r, oid, 1);
284 if (commit)
285 clear_commit_marks(commit, ALL_REV_FLAGS | PREREQ_MARK);
286 }
287 release_revisions(&revs);
288 return ret;
289 }
290
291 int list_bundle_refs(struct bundle_header *header, int argc, const char **argv)
292 {
293 return list_refs(&header->references, argc, argv);
294 }
295
296 static int is_tag_in_date_range(struct object *tag, struct rev_info *revs)
297 {
298 unsigned long size;
299 enum object_type type;
300 char *buf = NULL, *line, *lineend;
301 timestamp_t date;
302 int result = 1;
303
304 if (revs->max_age == -1 && revs->min_age == -1)
305 goto out;
306
307 buf = read_object_file(&tag->oid, &type, &size);
308 if (!buf)
309 goto out;
310 line = memmem(buf, size, "\ntagger ", 8);
311 if (!line++)
312 goto out;
313 lineend = memchr(line, '\n', buf + size - line);
314 line = memchr(line, '>', lineend ? lineend - line : buf + size - line);
315 if (!line++)
316 goto out;
317 date = parse_timestamp(line, NULL, 10);
318 result = (revs->max_age == -1 || revs->max_age < date) &&
319 (revs->min_age == -1 || revs->min_age > date);
320 out:
321 free(buf);
322 return result;
323 }
324
325
326 /* Write the pack data to bundle_fd */
327 static int write_pack_data(int bundle_fd, struct rev_info *revs, struct strvec *pack_options)
328 {
329 struct child_process pack_objects = CHILD_PROCESS_INIT;
330 int i;
331
332 strvec_pushl(&pack_objects.args,
333 "pack-objects",
334 "--stdout", "--thin", "--delta-base-offset",
335 NULL);
336 strvec_pushv(&pack_objects.args, pack_options->v);
337 if (revs->filter.choice)
338 strvec_pushf(&pack_objects.args, "--filter=%s",
339 list_objects_filter_spec(&revs->filter));
340 pack_objects.in = -1;
341 pack_objects.out = bundle_fd;
342 pack_objects.git_cmd = 1;
343
344 /*
345 * start_command() will close our descriptor if it's >1. Duplicate it
346 * to avoid surprising the caller.
347 */
348 if (pack_objects.out > 1) {
349 pack_objects.out = dup(pack_objects.out);
350 if (pack_objects.out < 0) {
351 error_errno(_("unable to dup bundle descriptor"));
352 child_process_clear(&pack_objects);
353 return -1;
354 }
355 }
356
357 if (start_command(&pack_objects))
358 return error(_("Could not spawn pack-objects"));
359
360 for (i = 0; i < revs->pending.nr; i++) {
361 struct object *object = revs->pending.objects[i].item;
362 if (object->flags & UNINTERESTING)
363 write_or_die(pack_objects.in, "^", 1);
364 write_or_die(pack_objects.in, oid_to_hex(&object->oid), the_hash_algo->hexsz);
365 write_or_die(pack_objects.in, "\n", 1);
366 }
367 close(pack_objects.in);
368 if (finish_command(&pack_objects))
369 return error(_("pack-objects died"));
370 return 0;
371 }
372
373 /*
374 * Write out bundle refs based on the tips already
375 * parsed into revs.pending. As a side effect, may
376 * manipulate revs.pending to include additional
377 * necessary objects (like tags).
378 *
379 * Returns the number of refs written, or negative
380 * on error.
381 */
382 static int write_bundle_refs(int bundle_fd, struct rev_info *revs)
383 {
384 int i;
385 int ref_count = 0;
386
387 for (i = 0; i < revs->pending.nr; i++) {
388 struct object_array_entry *e = revs->pending.objects + i;
389 struct object_id oid;
390 char *ref;
391 const char *display_ref;
392 int flag;
393
394 if (e->item->flags & UNINTERESTING)
395 continue;
396 if (dwim_ref(e->name, strlen(e->name), &oid, &ref, 0) != 1)
397 goto skip_write_ref;
398 if (read_ref_full(e->name, RESOLVE_REF_READING, &oid, &flag))
399 flag = 0;
400 display_ref = (flag & REF_ISSYMREF) ? e->name : ref;
401
402 if (e->item->type == OBJ_TAG &&
403 !is_tag_in_date_range(e->item, revs)) {
404 e->item->flags |= UNINTERESTING;
405 goto skip_write_ref;
406 }
407
408 /*
409 * Make sure the refs we wrote out is correct; --max-count and
410 * other limiting options could have prevented all the tips
411 * from getting output.
412 *
413 * Non commit objects such as tags and blobs do not have
414 * this issue as they are not affected by those extra
415 * constraints.
416 */
417 if (!(e->item->flags & SHOWN) && e->item->type == OBJ_COMMIT) {
418 warning(_("ref '%s' is excluded by the rev-list options"),
419 e->name);
420 goto skip_write_ref;
421 }
422 /*
423 * If you run "git bundle create bndl v1.0..v2.0", the
424 * name of the positive ref is "v2.0" but that is the
425 * commit that is referenced by the tag, and not the tag
426 * itself.
427 */
428 if (!oideq(&oid, &e->item->oid)) {
429 /*
430 * Is this the positive end of a range expressed
431 * in terms of a tag (e.g. v2.0 from the range
432 * "v1.0..v2.0")?
433 */
434 struct commit *one = lookup_commit_reference(revs->repo, &oid);
435 struct object *obj;
436
437 if (e->item == &(one->object)) {
438 /*
439 * Need to include e->name as an
440 * independent ref to the pack-objects
441 * input, so that the tag is included
442 * in the output; otherwise we would
443 * end up triggering "empty bundle"
444 * error.
445 */
446 obj = parse_object_or_die(&oid, e->name);
447 obj->flags |= SHOWN;
448 add_pending_object(revs, obj, e->name);
449 }
450 goto skip_write_ref;
451 }
452
453 ref_count++;
454 write_or_die(bundle_fd, oid_to_hex(&e->item->oid), the_hash_algo->hexsz);
455 write_or_die(bundle_fd, " ", 1);
456 write_or_die(bundle_fd, display_ref, strlen(display_ref));
457 write_or_die(bundle_fd, "\n", 1);
458 skip_write_ref:
459 free(ref);
460 }
461
462 /* end header */
463 write_or_die(bundle_fd, "\n", 1);
464 return ref_count;
465 }
466
467 struct bundle_prerequisites_info {
468 struct object_array *pending;
469 int fd;
470 };
471
472 static void write_bundle_prerequisites(struct commit *commit, void *data)
473 {
474 struct bundle_prerequisites_info *bpi = data;
475 struct object *object;
476 struct pretty_print_context ctx = { 0 };
477 struct strbuf buf = STRBUF_INIT;
478
479 if (!(commit->object.flags & BOUNDARY))
480 return;
481 strbuf_addf(&buf, "-%s ", oid_to_hex(&commit->object.oid));
482 write_or_die(bpi->fd, buf.buf, buf.len);
483
484 ctx.fmt = CMIT_FMT_ONELINE;
485 ctx.output_encoding = get_log_output_encoding();
486 strbuf_reset(&buf);
487 pretty_print_commit(&ctx, commit, &buf);
488 strbuf_trim(&buf);
489
490 object = (struct object *)commit;
491 object->flags |= UNINTERESTING;
492 add_object_array_with_path(object, buf.buf, bpi->pending, S_IFINVALID,
493 NULL);
494 strbuf_addch(&buf, '\n');
495 write_or_die(bpi->fd, buf.buf, buf.len);
496 strbuf_release(&buf);
497 }
498
499 int create_bundle(struct repository *r, const char *path,
500 int argc, const char **argv, struct strvec *pack_options, int version)
501 {
502 struct lock_file lock = LOCK_INIT;
503 int bundle_fd = -1;
504 int bundle_to_stdout;
505 int ref_count = 0;
506 struct rev_info revs, revs_copy;
507 int min_version = 2;
508 struct bundle_prerequisites_info bpi;
509 int i;
510
511 /* init revs to list objects for pack-objects later */
512 save_commit_buffer = 0;
513 repo_init_revisions(r, &revs, NULL);
514
515 /*
516 * Pre-initialize the '--objects' flag so we can parse a
517 * --filter option successfully.
518 */
519 revs.tree_objects = revs.blob_objects = 1;
520
521 argc = setup_revisions(argc, argv, &revs, NULL);
522
523 /*
524 * Reasons to require version 3:
525 *
526 * 1. @object-format is required because our hash algorithm is not
527 * SHA1.
528 * 2. @filter is required because we parsed an object filter.
529 */
530 if (the_hash_algo != &hash_algos[GIT_HASH_SHA1] || revs.filter.choice)
531 min_version = 3;
532
533 if (argc > 1) {
534 error(_("unrecognized argument: %s"), argv[1]);
535 goto err;
536 }
537
538 bundle_to_stdout = !strcmp(path, "-");
539 if (bundle_to_stdout)
540 bundle_fd = 1;
541 else
542 bundle_fd = hold_lock_file_for_update(&lock, path,
543 LOCK_DIE_ON_ERROR);
544
545 if (version == -1)
546 version = min_version;
547
548 if (version < 2 || version > 3) {
549 die(_("unsupported bundle version %d"), version);
550 } else if (version < min_version) {
551 die(_("cannot write bundle version %d with algorithm %s"), version, the_hash_algo->name);
552 } else if (version == 2) {
553 write_or_die(bundle_fd, v2_bundle_signature, strlen(v2_bundle_signature));
554 } else {
555 const char *capability = "@object-format=";
556 write_or_die(bundle_fd, v3_bundle_signature, strlen(v3_bundle_signature));
557 write_or_die(bundle_fd, capability, strlen(capability));
558 write_or_die(bundle_fd, the_hash_algo->name, strlen(the_hash_algo->name));
559 write_or_die(bundle_fd, "\n", 1);
560
561 if (revs.filter.choice) {
562 const char *value = expand_list_objects_filter_spec(&revs.filter);
563 capability = "@filter=";
564 write_or_die(bundle_fd, capability, strlen(capability));
565 write_or_die(bundle_fd, value, strlen(value));
566 write_or_die(bundle_fd, "\n", 1);
567 }
568 }
569
570 /* save revs.pending in revs_copy for later use */
571 memcpy(&revs_copy, &revs, sizeof(revs));
572 revs_copy.pending.nr = 0;
573 revs_copy.pending.alloc = 0;
574 revs_copy.pending.objects = NULL;
575 for (i = 0; i < revs.pending.nr; i++) {
576 struct object_array_entry *e = revs.pending.objects + i;
577 if (e)
578 add_object_array_with_path(e->item, e->name,
579 &revs_copy.pending,
580 e->mode, e->path);
581 }
582
583 /* write prerequisites */
584 revs.boundary = 1;
585 if (prepare_revision_walk(&revs))
586 die("revision walk setup failed");
587 bpi.fd = bundle_fd;
588 bpi.pending = &revs_copy.pending;
589
590 /*
591 * Remove any object walking here. We only care about commits and
592 * tags here. The revs_copy has the right instances of these values.
593 */
594 revs.blob_objects = revs.tree_objects = 0;
595 traverse_commit_list(&revs, write_bundle_prerequisites, NULL, &bpi);
596 object_array_remove_duplicates(&revs_copy.pending);
597
598 /* write bundle refs */
599 ref_count = write_bundle_refs(bundle_fd, &revs_copy);
600 if (!ref_count)
601 die(_("Refusing to create empty bundle."));
602 else if (ref_count < 0)
603 goto err;
604
605 /* write pack */
606 if (write_pack_data(bundle_fd, &revs_copy, pack_options))
607 goto err;
608
609 if (!bundle_to_stdout) {
610 if (commit_lock_file(&lock))
611 die_errno(_("cannot create '%s'"), path);
612 }
613 return 0;
614 err:
615 rollback_lock_file(&lock);
616 return -1;
617 }
618
619 int unbundle(struct repository *r, struct bundle_header *header,
620 int bundle_fd, struct strvec *extra_index_pack_args,
621 enum verify_bundle_flags flags)
622 {
623 struct child_process ip = CHILD_PROCESS_INIT;
624 strvec_pushl(&ip.args, "index-pack", "--fix-thin", "--stdin", NULL);
625
626 /* If there is a filter, then we need to create the promisor pack. */
627 if (header->filter.choice)
628 strvec_push(&ip.args, "--promisor=from-bundle");
629
630 if (extra_index_pack_args) {
631 strvec_pushv(&ip.args, extra_index_pack_args->v);
632 strvec_clear(extra_index_pack_args);
633 }
634
635 if (verify_bundle(r, header, flags))
636 return -1;
637 ip.in = bundle_fd;
638 ip.no_stdout = 1;
639 ip.git_cmd = 1;
640 if (run_command(&ip))
641 return error(_("index-pack died"));
642 return 0;
643 }