read-tree: narrow scope of index expansion for '--prefix'
[alt-git.git] / builtin / receive-pack.c
blobd10aeb7e78fb70e32fb6268505c85cf86ca2a212
1 #include "builtin.h"
2 #include "repository.h"
3 #include "config.h"
4 #include "lockfile.h"
5 #include "pack.h"
6 #include "refs.h"
7 #include "pkt-line.h"
8 #include "sideband.h"
9 #include "run-command.h"
10 #include "hook.h"
11 #include "exec-cmd.h"
12 #include "commit.h"
13 #include "object.h"
14 #include "remote.h"
15 #include "connect.h"
16 #include "string-list.h"
17 #include "oid-array.h"
18 #include "connected.h"
19 #include "strvec.h"
20 #include "version.h"
21 #include "tag.h"
22 #include "gpg-interface.h"
23 #include "sigchain.h"
24 #include "fsck.h"
25 #include "tmp-objdir.h"
26 #include "oidset.h"
27 #include "packfile.h"
28 #include "object-store.h"
29 #include "protocol.h"
30 #include "commit-reach.h"
31 #include "worktree.h"
32 #include "shallow.h"
34 static const char * const receive_pack_usage[] = {
35 N_("git receive-pack <git-dir>"),
36 NULL
39 enum deny_action {
40 DENY_UNCONFIGURED,
41 DENY_IGNORE,
42 DENY_WARN,
43 DENY_REFUSE,
44 DENY_UPDATE_INSTEAD
47 static int deny_deletes;
48 static int deny_non_fast_forwards;
49 static enum deny_action deny_current_branch = DENY_UNCONFIGURED;
50 static enum deny_action deny_delete_current = DENY_UNCONFIGURED;
51 static int receive_fsck_objects = -1;
52 static int transfer_fsck_objects = -1;
53 static struct strbuf fsck_msg_types = STRBUF_INIT;
54 static int receive_unpack_limit = -1;
55 static int transfer_unpack_limit = -1;
56 static int advertise_atomic_push = 1;
57 static int advertise_push_options;
58 static int advertise_sid;
59 static int unpack_limit = 100;
60 static off_t max_input_size;
61 static int report_status;
62 static int report_status_v2;
63 static int use_sideband;
64 static int use_atomic;
65 static int use_push_options;
66 static int quiet;
67 static int prefer_ofs_delta = 1;
68 static int auto_update_server_info;
69 static int auto_gc = 1;
70 static int reject_thin;
71 static int stateless_rpc;
72 static const char *service_dir;
73 static const char *head_name;
74 static void *head_name_to_free;
75 static int sent_capabilities;
76 static int shallow_update;
77 static const char *alt_shallow_file;
78 static struct strbuf push_cert = STRBUF_INIT;
79 static struct object_id push_cert_oid;
80 static struct signature_check sigcheck;
81 static const char *push_cert_nonce;
82 static const char *cert_nonce_seed;
84 static const char *NONCE_UNSOLICITED = "UNSOLICITED";
85 static const char *NONCE_BAD = "BAD";
86 static const char *NONCE_MISSING = "MISSING";
87 static const char *NONCE_OK = "OK";
88 static const char *NONCE_SLOP = "SLOP";
89 static const char *nonce_status;
90 static long nonce_stamp_slop;
91 static timestamp_t nonce_stamp_slop_limit;
92 static struct ref_transaction *transaction;
94 static enum {
95 KEEPALIVE_NEVER = 0,
96 KEEPALIVE_AFTER_NUL,
97 KEEPALIVE_ALWAYS
98 } use_keepalive;
99 static int keepalive_in_sec = 5;
101 static struct tmp_objdir *tmp_objdir;
103 static struct proc_receive_ref {
104 unsigned int want_add:1,
105 want_delete:1,
106 want_modify:1,
107 negative_ref:1;
108 char *ref_prefix;
109 struct proc_receive_ref *next;
110 } *proc_receive_ref;
112 static void proc_receive_ref_append(const char *prefix);
114 static enum deny_action parse_deny_action(const char *var, const char *value)
116 if (value) {
117 if (!strcasecmp(value, "ignore"))
118 return DENY_IGNORE;
119 if (!strcasecmp(value, "warn"))
120 return DENY_WARN;
121 if (!strcasecmp(value, "refuse"))
122 return DENY_REFUSE;
123 if (!strcasecmp(value, "updateinstead"))
124 return DENY_UPDATE_INSTEAD;
126 if (git_config_bool(var, value))
127 return DENY_REFUSE;
128 return DENY_IGNORE;
131 static int receive_pack_config(const char *var, const char *value, void *cb)
133 int status = parse_hide_refs_config(var, value, "receive");
135 if (status)
136 return status;
138 status = git_gpg_config(var, value, NULL);
139 if (status)
140 return status;
142 if (strcmp(var, "receive.denydeletes") == 0) {
143 deny_deletes = git_config_bool(var, value);
144 return 0;
147 if (strcmp(var, "receive.denynonfastforwards") == 0) {
148 deny_non_fast_forwards = git_config_bool(var, value);
149 return 0;
152 if (strcmp(var, "receive.unpacklimit") == 0) {
153 receive_unpack_limit = git_config_int(var, value);
154 return 0;
157 if (strcmp(var, "transfer.unpacklimit") == 0) {
158 transfer_unpack_limit = git_config_int(var, value);
159 return 0;
162 if (strcmp(var, "receive.fsck.skiplist") == 0) {
163 const char *path;
165 if (git_config_pathname(&path, var, value))
166 return 1;
167 strbuf_addf(&fsck_msg_types, "%cskiplist=%s",
168 fsck_msg_types.len ? ',' : '=', path);
169 free((char *)path);
170 return 0;
173 if (skip_prefix(var, "receive.fsck.", &var)) {
174 if (is_valid_msg_type(var, value))
175 strbuf_addf(&fsck_msg_types, "%c%s=%s",
176 fsck_msg_types.len ? ',' : '=', var, value);
177 else
178 warning("skipping unknown msg id '%s'", var);
179 return 0;
182 if (strcmp(var, "receive.fsckobjects") == 0) {
183 receive_fsck_objects = git_config_bool(var, value);
184 return 0;
187 if (strcmp(var, "transfer.fsckobjects") == 0) {
188 transfer_fsck_objects = git_config_bool(var, value);
189 return 0;
192 if (!strcmp(var, "receive.denycurrentbranch")) {
193 deny_current_branch = parse_deny_action(var, value);
194 return 0;
197 if (strcmp(var, "receive.denydeletecurrent") == 0) {
198 deny_delete_current = parse_deny_action(var, value);
199 return 0;
202 if (strcmp(var, "repack.usedeltabaseoffset") == 0) {
203 prefer_ofs_delta = git_config_bool(var, value);
204 return 0;
207 if (strcmp(var, "receive.updateserverinfo") == 0) {
208 auto_update_server_info = git_config_bool(var, value);
209 return 0;
212 if (strcmp(var, "receive.autogc") == 0) {
213 auto_gc = git_config_bool(var, value);
214 return 0;
217 if (strcmp(var, "receive.shallowupdate") == 0) {
218 shallow_update = git_config_bool(var, value);
219 return 0;
222 if (strcmp(var, "receive.certnonceseed") == 0)
223 return git_config_string(&cert_nonce_seed, var, value);
225 if (strcmp(var, "receive.certnonceslop") == 0) {
226 nonce_stamp_slop_limit = git_config_ulong(var, value);
227 return 0;
230 if (strcmp(var, "receive.advertiseatomic") == 0) {
231 advertise_atomic_push = git_config_bool(var, value);
232 return 0;
235 if (strcmp(var, "receive.advertisepushoptions") == 0) {
236 advertise_push_options = git_config_bool(var, value);
237 return 0;
240 if (strcmp(var, "receive.keepalive") == 0) {
241 keepalive_in_sec = git_config_int(var, value);
242 return 0;
245 if (strcmp(var, "receive.maxinputsize") == 0) {
246 max_input_size = git_config_int64(var, value);
247 return 0;
250 if (strcmp(var, "receive.procreceiverefs") == 0) {
251 if (!value)
252 return config_error_nonbool(var);
253 proc_receive_ref_append(value);
254 return 0;
257 if (strcmp(var, "transfer.advertisesid") == 0) {
258 advertise_sid = git_config_bool(var, value);
259 return 0;
262 return git_default_config(var, value, cb);
265 static void show_ref(const char *path, const struct object_id *oid)
267 if (sent_capabilities) {
268 packet_write_fmt(1, "%s %s\n", oid_to_hex(oid), path);
269 } else {
270 struct strbuf cap = STRBUF_INIT;
272 strbuf_addstr(&cap,
273 "report-status report-status-v2 delete-refs side-band-64k quiet");
274 if (advertise_atomic_push)
275 strbuf_addstr(&cap, " atomic");
276 if (prefer_ofs_delta)
277 strbuf_addstr(&cap, " ofs-delta");
278 if (push_cert_nonce)
279 strbuf_addf(&cap, " push-cert=%s", push_cert_nonce);
280 if (advertise_push_options)
281 strbuf_addstr(&cap, " push-options");
282 if (advertise_sid)
283 strbuf_addf(&cap, " session-id=%s", trace2_session_id());
284 strbuf_addf(&cap, " object-format=%s", the_hash_algo->name);
285 strbuf_addf(&cap, " agent=%s", git_user_agent_sanitized());
286 packet_write_fmt(1, "%s %s%c%s\n",
287 oid_to_hex(oid), path, 0, cap.buf);
288 strbuf_release(&cap);
289 sent_capabilities = 1;
293 static int show_ref_cb(const char *path_full, const struct object_id *oid,
294 int flag, void *data)
296 struct oidset *seen = data;
297 const char *path = strip_namespace(path_full);
299 if (ref_is_hidden(path, path_full))
300 return 0;
303 * Advertise refs outside our current namespace as ".have"
304 * refs, so that the client can use them to minimize data
305 * transfer but will otherwise ignore them.
307 if (!path) {
308 if (oidset_insert(seen, oid))
309 return 0;
310 path = ".have";
311 } else {
312 oidset_insert(seen, oid);
314 show_ref(path, oid);
315 return 0;
318 static void show_one_alternate_ref(const struct object_id *oid,
319 void *data)
321 struct oidset *seen = data;
323 if (oidset_insert(seen, oid))
324 return;
326 show_ref(".have", oid);
329 static void write_head_info(void)
331 static struct oidset seen = OIDSET_INIT;
333 for_each_ref(show_ref_cb, &seen);
334 for_each_alternate_ref(show_one_alternate_ref, &seen);
335 oidset_clear(&seen);
336 if (!sent_capabilities)
337 show_ref("capabilities^{}", null_oid());
339 advertise_shallow_grafts(1);
341 /* EOF */
342 packet_flush(1);
345 #define RUN_PROC_RECEIVE_SCHEDULED 1
346 #define RUN_PROC_RECEIVE_RETURNED 2
347 struct command {
348 struct command *next;
349 const char *error_string;
350 struct ref_push_report *report;
351 unsigned int skip_update:1,
352 did_not_exist:1,
353 run_proc_receive:2;
354 int index;
355 struct object_id old_oid;
356 struct object_id new_oid;
357 char ref_name[FLEX_ARRAY]; /* more */
360 static void proc_receive_ref_append(const char *prefix)
362 struct proc_receive_ref *ref_pattern;
363 char *p;
364 int len;
366 CALLOC_ARRAY(ref_pattern, 1);
367 p = strchr(prefix, ':');
368 if (p) {
369 while (prefix < p) {
370 if (*prefix == 'a')
371 ref_pattern->want_add = 1;
372 else if (*prefix == 'd')
373 ref_pattern->want_delete = 1;
374 else if (*prefix == 'm')
375 ref_pattern->want_modify = 1;
376 else if (*prefix == '!')
377 ref_pattern->negative_ref = 1;
378 prefix++;
380 prefix++;
381 } else {
382 ref_pattern->want_add = 1;
383 ref_pattern->want_delete = 1;
384 ref_pattern->want_modify = 1;
386 len = strlen(prefix);
387 while (len && prefix[len - 1] == '/')
388 len--;
389 ref_pattern->ref_prefix = xmemdupz(prefix, len);
390 if (!proc_receive_ref) {
391 proc_receive_ref = ref_pattern;
392 } else {
393 struct proc_receive_ref *end;
395 end = proc_receive_ref;
396 while (end->next)
397 end = end->next;
398 end->next = ref_pattern;
402 static int proc_receive_ref_matches(struct command *cmd)
404 struct proc_receive_ref *p;
406 if (!proc_receive_ref)
407 return 0;
409 for (p = proc_receive_ref; p; p = p->next) {
410 const char *match = p->ref_prefix;
411 const char *remains;
413 if (!p->want_add && is_null_oid(&cmd->old_oid))
414 continue;
415 else if (!p->want_delete && is_null_oid(&cmd->new_oid))
416 continue;
417 else if (!p->want_modify &&
418 !is_null_oid(&cmd->old_oid) &&
419 !is_null_oid(&cmd->new_oid))
420 continue;
422 if (skip_prefix(cmd->ref_name, match, &remains) &&
423 (!*remains || *remains == '/')) {
424 if (!p->negative_ref)
425 return 1;
426 } else if (p->negative_ref) {
427 return 1;
430 return 0;
433 static void report_message(const char *prefix, const char *err, va_list params)
435 int sz;
436 char msg[4096];
438 sz = xsnprintf(msg, sizeof(msg), "%s", prefix);
439 sz += vsnprintf(msg + sz, sizeof(msg) - sz, err, params);
440 if (sz > (sizeof(msg) - 1))
441 sz = sizeof(msg) - 1;
442 msg[sz++] = '\n';
444 if (use_sideband)
445 send_sideband(1, 2, msg, sz, use_sideband);
446 else
447 xwrite(2, msg, sz);
450 __attribute__((format (printf, 1, 2)))
451 static void rp_warning(const char *err, ...)
453 va_list params;
454 va_start(params, err);
455 report_message("warning: ", err, params);
456 va_end(params);
459 __attribute__((format (printf, 1, 2)))
460 static void rp_error(const char *err, ...)
462 va_list params;
463 va_start(params, err);
464 report_message("error: ", err, params);
465 va_end(params);
468 static int copy_to_sideband(int in, int out, void *arg)
470 char data[128];
471 int keepalive_active = 0;
473 if (keepalive_in_sec <= 0)
474 use_keepalive = KEEPALIVE_NEVER;
475 if (use_keepalive == KEEPALIVE_ALWAYS)
476 keepalive_active = 1;
478 while (1) {
479 ssize_t sz;
481 if (keepalive_active) {
482 struct pollfd pfd;
483 int ret;
485 pfd.fd = in;
486 pfd.events = POLLIN;
487 ret = poll(&pfd, 1, 1000 * keepalive_in_sec);
489 if (ret < 0) {
490 if (errno == EINTR)
491 continue;
492 else
493 break;
494 } else if (ret == 0) {
495 /* no data; send a keepalive packet */
496 static const char buf[] = "0005\1";
497 write_or_die(1, buf, sizeof(buf) - 1);
498 continue;
499 } /* else there is actual data to read */
502 sz = xread(in, data, sizeof(data));
503 if (sz <= 0)
504 break;
506 if (use_keepalive == KEEPALIVE_AFTER_NUL && !keepalive_active) {
507 const char *p = memchr(data, '\0', sz);
508 if (p) {
510 * The NUL tells us to start sending keepalives. Make
511 * sure we send any other data we read along
512 * with it.
514 keepalive_active = 1;
515 send_sideband(1, 2, data, p - data, use_sideband);
516 send_sideband(1, 2, p + 1, sz - (p - data + 1), use_sideband);
517 continue;
522 * Either we're not looking for a NUL signal, or we didn't see
523 * it yet; just pass along the data.
525 send_sideband(1, 2, data, sz, use_sideband);
527 close(in);
528 return 0;
531 static void hmac_hash(unsigned char *out,
532 const char *key_in, size_t key_len,
533 const char *text, size_t text_len)
535 unsigned char key[GIT_MAX_BLKSZ];
536 unsigned char k_ipad[GIT_MAX_BLKSZ];
537 unsigned char k_opad[GIT_MAX_BLKSZ];
538 int i;
539 git_hash_ctx ctx;
541 /* RFC 2104 2. (1) */
542 memset(key, '\0', GIT_MAX_BLKSZ);
543 if (the_hash_algo->blksz < key_len) {
544 the_hash_algo->init_fn(&ctx);
545 the_hash_algo->update_fn(&ctx, key_in, key_len);
546 the_hash_algo->final_fn(key, &ctx);
547 } else {
548 memcpy(key, key_in, key_len);
551 /* RFC 2104 2. (2) & (5) */
552 for (i = 0; i < sizeof(key); i++) {
553 k_ipad[i] = key[i] ^ 0x36;
554 k_opad[i] = key[i] ^ 0x5c;
557 /* RFC 2104 2. (3) & (4) */
558 the_hash_algo->init_fn(&ctx);
559 the_hash_algo->update_fn(&ctx, k_ipad, sizeof(k_ipad));
560 the_hash_algo->update_fn(&ctx, text, text_len);
561 the_hash_algo->final_fn(out, &ctx);
563 /* RFC 2104 2. (6) & (7) */
564 the_hash_algo->init_fn(&ctx);
565 the_hash_algo->update_fn(&ctx, k_opad, sizeof(k_opad));
566 the_hash_algo->update_fn(&ctx, out, the_hash_algo->rawsz);
567 the_hash_algo->final_fn(out, &ctx);
570 static char *prepare_push_cert_nonce(const char *path, timestamp_t stamp)
572 struct strbuf buf = STRBUF_INIT;
573 unsigned char hash[GIT_MAX_RAWSZ];
575 strbuf_addf(&buf, "%s:%"PRItime, path, stamp);
576 hmac_hash(hash, buf.buf, buf.len, cert_nonce_seed, strlen(cert_nonce_seed));
577 strbuf_release(&buf);
579 /* RFC 2104 5. HMAC-SHA1 or HMAC-SHA256 */
580 strbuf_addf(&buf, "%"PRItime"-%.*s", stamp, (int)the_hash_algo->hexsz, hash_to_hex(hash));
581 return strbuf_detach(&buf, NULL);
584 static char *find_header(const char *msg, size_t len, const char *key,
585 const char **next_line)
587 size_t out_len;
588 const char *val = find_header_mem(msg, len, key, &out_len);
590 if (!val)
591 return NULL;
593 if (next_line)
594 *next_line = val + out_len + 1;
596 return xmemdupz(val, out_len);
600 * Return zero if a and b are equal up to n bytes and nonzero if they are not.
601 * This operation is guaranteed to run in constant time to avoid leaking data.
603 static int constant_memequal(const char *a, const char *b, size_t n)
605 int res = 0;
606 size_t i;
608 for (i = 0; i < n; i++)
609 res |= a[i] ^ b[i];
610 return res;
613 static const char *check_nonce(const char *buf, size_t len)
615 char *nonce = find_header(buf, len, "nonce", NULL);
616 timestamp_t stamp, ostamp;
617 char *bohmac, *expect = NULL;
618 const char *retval = NONCE_BAD;
619 size_t noncelen;
621 if (!nonce) {
622 retval = NONCE_MISSING;
623 goto leave;
624 } else if (!push_cert_nonce) {
625 retval = NONCE_UNSOLICITED;
626 goto leave;
627 } else if (!strcmp(push_cert_nonce, nonce)) {
628 retval = NONCE_OK;
629 goto leave;
632 if (!stateless_rpc) {
633 /* returned nonce MUST match what we gave out earlier */
634 retval = NONCE_BAD;
635 goto leave;
639 * In stateless mode, we may be receiving a nonce issued by
640 * another instance of the server that serving the same
641 * repository, and the timestamps may not match, but the
642 * nonce-seed and dir should match, so we can recompute and
643 * report the time slop.
645 * In addition, when a nonce issued by another instance has
646 * timestamp within receive.certnonceslop seconds, we pretend
647 * as if we issued that nonce when reporting to the hook.
650 /* nonce is concat(<seconds-since-epoch>, "-", <hmac>) */
651 if (*nonce <= '0' || '9' < *nonce) {
652 retval = NONCE_BAD;
653 goto leave;
655 stamp = parse_timestamp(nonce, &bohmac, 10);
656 if (bohmac == nonce || bohmac[0] != '-') {
657 retval = NONCE_BAD;
658 goto leave;
661 noncelen = strlen(nonce);
662 expect = prepare_push_cert_nonce(service_dir, stamp);
663 if (noncelen != strlen(expect)) {
664 /* This is not even the right size. */
665 retval = NONCE_BAD;
666 goto leave;
668 if (constant_memequal(expect, nonce, noncelen)) {
669 /* Not what we would have signed earlier */
670 retval = NONCE_BAD;
671 goto leave;
675 * By how many seconds is this nonce stale? Negative value
676 * would mean it was issued by another server with its clock
677 * skewed in the future.
679 ostamp = parse_timestamp(push_cert_nonce, NULL, 10);
680 nonce_stamp_slop = (long)ostamp - (long)stamp;
682 if (nonce_stamp_slop_limit &&
683 labs(nonce_stamp_slop) <= nonce_stamp_slop_limit) {
685 * Pretend as if the received nonce (which passes the
686 * HMAC check, so it is not a forged by third-party)
687 * is what we issued.
689 free((void *)push_cert_nonce);
690 push_cert_nonce = xstrdup(nonce);
691 retval = NONCE_OK;
692 } else {
693 retval = NONCE_SLOP;
696 leave:
697 free(nonce);
698 free(expect);
699 return retval;
703 * Return 1 if there is no push_cert or if the push options in push_cert are
704 * the same as those in the argument; 0 otherwise.
706 static int check_cert_push_options(const struct string_list *push_options)
708 const char *buf = push_cert.buf;
709 int len = push_cert.len;
711 char *option;
712 const char *next_line;
713 int options_seen = 0;
715 int retval = 1;
717 if (!len)
718 return 1;
720 while ((option = find_header(buf, len, "push-option", &next_line))) {
721 len -= (next_line - buf);
722 buf = next_line;
723 options_seen++;
724 if (options_seen > push_options->nr
725 || strcmp(option,
726 push_options->items[options_seen - 1].string)) {
727 retval = 0;
728 goto leave;
730 free(option);
733 if (options_seen != push_options->nr)
734 retval = 0;
736 leave:
737 free(option);
738 return retval;
741 static void prepare_push_cert_sha1(struct child_process *proc)
743 static int already_done;
745 if (!push_cert.len)
746 return;
748 if (!already_done) {
749 int bogs /* beginning_of_gpg_sig */;
751 already_done = 1;
752 if (write_object_file(push_cert.buf, push_cert.len, "blob",
753 &push_cert_oid))
754 oidclr(&push_cert_oid);
756 memset(&sigcheck, '\0', sizeof(sigcheck));
758 bogs = parse_signed_buffer(push_cert.buf, push_cert.len);
759 sigcheck.payload = xmemdupz(push_cert.buf, bogs);
760 sigcheck.payload_len = bogs;
761 check_signature(&sigcheck, push_cert.buf + bogs,
762 push_cert.len - bogs);
764 nonce_status = check_nonce(push_cert.buf, bogs);
766 if (!is_null_oid(&push_cert_oid)) {
767 strvec_pushf(&proc->env_array, "GIT_PUSH_CERT=%s",
768 oid_to_hex(&push_cert_oid));
769 strvec_pushf(&proc->env_array, "GIT_PUSH_CERT_SIGNER=%s",
770 sigcheck.signer ? sigcheck.signer : "");
771 strvec_pushf(&proc->env_array, "GIT_PUSH_CERT_KEY=%s",
772 sigcheck.key ? sigcheck.key : "");
773 strvec_pushf(&proc->env_array, "GIT_PUSH_CERT_STATUS=%c",
774 sigcheck.result);
775 if (push_cert_nonce) {
776 strvec_pushf(&proc->env_array,
777 "GIT_PUSH_CERT_NONCE=%s",
778 push_cert_nonce);
779 strvec_pushf(&proc->env_array,
780 "GIT_PUSH_CERT_NONCE_STATUS=%s",
781 nonce_status);
782 if (nonce_status == NONCE_SLOP)
783 strvec_pushf(&proc->env_array,
784 "GIT_PUSH_CERT_NONCE_SLOP=%ld",
785 nonce_stamp_slop);
790 struct receive_hook_feed_state {
791 struct command *cmd;
792 struct ref_push_report *report;
793 int skip_broken;
794 struct strbuf buf;
795 const struct string_list *push_options;
798 typedef int (*feed_fn)(void *, const char **, size_t *);
799 static int run_and_feed_hook(const char *hook_name, feed_fn feed,
800 struct receive_hook_feed_state *feed_state)
802 struct child_process proc = CHILD_PROCESS_INIT;
803 struct async muxer;
804 int code;
805 const char *hook_path = find_hook(hook_name);
807 if (!hook_path)
808 return 0;
810 strvec_push(&proc.args, hook_path);
811 proc.in = -1;
812 proc.stdout_to_stderr = 1;
813 proc.trace2_hook_name = hook_name;
815 if (feed_state->push_options) {
816 int i;
817 for (i = 0; i < feed_state->push_options->nr; i++)
818 strvec_pushf(&proc.env_array,
819 "GIT_PUSH_OPTION_%d=%s", i,
820 feed_state->push_options->items[i].string);
821 strvec_pushf(&proc.env_array, "GIT_PUSH_OPTION_COUNT=%d",
822 feed_state->push_options->nr);
823 } else
824 strvec_pushf(&proc.env_array, "GIT_PUSH_OPTION_COUNT");
826 if (tmp_objdir)
827 strvec_pushv(&proc.env_array, tmp_objdir_env(tmp_objdir));
829 if (use_sideband) {
830 memset(&muxer, 0, sizeof(muxer));
831 muxer.proc = copy_to_sideband;
832 muxer.in = -1;
833 code = start_async(&muxer);
834 if (code)
835 return code;
836 proc.err = muxer.in;
839 prepare_push_cert_sha1(&proc);
841 code = start_command(&proc);
842 if (code) {
843 if (use_sideband)
844 finish_async(&muxer);
845 return code;
848 sigchain_push(SIGPIPE, SIG_IGN);
850 while (1) {
851 const char *buf;
852 size_t n;
853 if (feed(feed_state, &buf, &n))
854 break;
855 if (write_in_full(proc.in, buf, n) < 0)
856 break;
858 close(proc.in);
859 if (use_sideband)
860 finish_async(&muxer);
862 sigchain_pop(SIGPIPE);
864 return finish_command(&proc);
867 static int feed_receive_hook(void *state_, const char **bufp, size_t *sizep)
869 struct receive_hook_feed_state *state = state_;
870 struct command *cmd = state->cmd;
872 while (cmd &&
873 state->skip_broken && (cmd->error_string || cmd->did_not_exist))
874 cmd = cmd->next;
875 if (!cmd)
876 return -1; /* EOF */
877 if (!bufp)
878 return 0; /* OK, can feed something. */
879 strbuf_reset(&state->buf);
880 if (!state->report)
881 state->report = cmd->report;
882 if (state->report) {
883 struct object_id *old_oid;
884 struct object_id *new_oid;
885 const char *ref_name;
887 old_oid = state->report->old_oid ? state->report->old_oid : &cmd->old_oid;
888 new_oid = state->report->new_oid ? state->report->new_oid : &cmd->new_oid;
889 ref_name = state->report->ref_name ? state->report->ref_name : cmd->ref_name;
890 strbuf_addf(&state->buf, "%s %s %s\n",
891 oid_to_hex(old_oid), oid_to_hex(new_oid),
892 ref_name);
893 state->report = state->report->next;
894 if (!state->report)
895 state->cmd = cmd->next;
896 } else {
897 strbuf_addf(&state->buf, "%s %s %s\n",
898 oid_to_hex(&cmd->old_oid), oid_to_hex(&cmd->new_oid),
899 cmd->ref_name);
900 state->cmd = cmd->next;
902 if (bufp) {
903 *bufp = state->buf.buf;
904 *sizep = state->buf.len;
906 return 0;
909 static int run_receive_hook(struct command *commands,
910 const char *hook_name,
911 int skip_broken,
912 const struct string_list *push_options)
914 struct receive_hook_feed_state state;
915 int status;
917 strbuf_init(&state.buf, 0);
918 state.cmd = commands;
919 state.skip_broken = skip_broken;
920 state.report = NULL;
921 if (feed_receive_hook(&state, NULL, NULL))
922 return 0;
923 state.cmd = commands;
924 state.push_options = push_options;
925 status = run_and_feed_hook(hook_name, feed_receive_hook, &state);
926 strbuf_release(&state.buf);
927 return status;
930 static int run_update_hook(struct command *cmd)
932 struct child_process proc = CHILD_PROCESS_INIT;
933 int code;
934 const char *hook_path = find_hook("update");
936 if (!hook_path)
937 return 0;
939 strvec_push(&proc.args, hook_path);
940 strvec_push(&proc.args, cmd->ref_name);
941 strvec_push(&proc.args, oid_to_hex(&cmd->old_oid));
942 strvec_push(&proc.args, oid_to_hex(&cmd->new_oid));
944 proc.no_stdin = 1;
945 proc.stdout_to_stderr = 1;
946 proc.err = use_sideband ? -1 : 0;
947 proc.trace2_hook_name = "update";
949 code = start_command(&proc);
950 if (code)
951 return code;
952 if (use_sideband)
953 copy_to_sideband(proc.err, -1, NULL);
954 return finish_command(&proc);
957 static struct command *find_command_by_refname(struct command *list,
958 const char *refname)
960 for (; list; list = list->next)
961 if (!strcmp(list->ref_name, refname))
962 return list;
963 return NULL;
966 static int read_proc_receive_report(struct packet_reader *reader,
967 struct command *commands,
968 struct strbuf *errmsg)
970 struct command *cmd;
971 struct command *hint = NULL;
972 struct ref_push_report *report = NULL;
973 int new_report = 0;
974 int code = 0;
975 int once = 0;
976 int response = 0;
978 for (;;) {
979 struct object_id old_oid, new_oid;
980 const char *head;
981 const char *refname;
982 char *p;
983 enum packet_read_status status;
985 status = packet_reader_read(reader);
986 if (status != PACKET_READ_NORMAL) {
987 /* Check whether proc-receive exited abnormally */
988 if (status == PACKET_READ_EOF && !response) {
989 strbuf_addstr(errmsg, "proc-receive exited abnormally");
990 return -1;
992 break;
994 response++;
996 head = reader->line;
997 p = strchr(head, ' ');
998 if (!p) {
999 strbuf_addf(errmsg, "proc-receive reported incomplete status line: '%s'\n", head);
1000 code = -1;
1001 continue;
1003 *p++ = '\0';
1004 if (!strcmp(head, "option")) {
1005 const char *key, *val;
1007 if (!hint || !(report || new_report)) {
1008 if (!once++)
1009 strbuf_addstr(errmsg, "proc-receive reported 'option' without a matching 'ok/ng' directive\n");
1010 code = -1;
1011 continue;
1013 if (new_report) {
1014 if (!hint->report) {
1015 CALLOC_ARRAY(hint->report, 1);
1016 report = hint->report;
1017 } else {
1018 report = hint->report;
1019 while (report->next)
1020 report = report->next;
1021 report->next = xcalloc(1, sizeof(struct ref_push_report));
1022 report = report->next;
1024 new_report = 0;
1026 key = p;
1027 p = strchr(key, ' ');
1028 if (p)
1029 *p++ = '\0';
1030 val = p;
1031 if (!strcmp(key, "refname"))
1032 report->ref_name = xstrdup_or_null(val);
1033 else if (!strcmp(key, "old-oid") && val &&
1034 !parse_oid_hex(val, &old_oid, &val))
1035 report->old_oid = oiddup(&old_oid);
1036 else if (!strcmp(key, "new-oid") && val &&
1037 !parse_oid_hex(val, &new_oid, &val))
1038 report->new_oid = oiddup(&new_oid);
1039 else if (!strcmp(key, "forced-update"))
1040 report->forced_update = 1;
1041 else if (!strcmp(key, "fall-through"))
1042 /* Fall through, let 'receive-pack' to execute it. */
1043 hint->run_proc_receive = 0;
1044 continue;
1047 report = NULL;
1048 new_report = 0;
1049 refname = p;
1050 p = strchr(refname, ' ');
1051 if (p)
1052 *p++ = '\0';
1053 if (strcmp(head, "ok") && strcmp(head, "ng")) {
1054 strbuf_addf(errmsg, "proc-receive reported bad status '%s' on ref '%s'\n",
1055 head, refname);
1056 code = -1;
1057 continue;
1060 /* first try searching at our hint, falling back to all refs */
1061 if (hint)
1062 hint = find_command_by_refname(hint, refname);
1063 if (!hint)
1064 hint = find_command_by_refname(commands, refname);
1065 if (!hint) {
1066 strbuf_addf(errmsg, "proc-receive reported status on unknown ref: %s\n",
1067 refname);
1068 code = -1;
1069 continue;
1071 if (!hint->run_proc_receive) {
1072 strbuf_addf(errmsg, "proc-receive reported status on unexpected ref: %s\n",
1073 refname);
1074 code = -1;
1075 continue;
1077 hint->run_proc_receive |= RUN_PROC_RECEIVE_RETURNED;
1078 if (!strcmp(head, "ng")) {
1079 if (p)
1080 hint->error_string = xstrdup(p);
1081 else
1082 hint->error_string = "failed";
1083 code = -1;
1084 continue;
1086 new_report = 1;
1089 for (cmd = commands; cmd; cmd = cmd->next)
1090 if (cmd->run_proc_receive && !cmd->error_string &&
1091 !(cmd->run_proc_receive & RUN_PROC_RECEIVE_RETURNED)) {
1092 cmd->error_string = "proc-receive failed to report status";
1093 code = -1;
1095 return code;
1098 static int run_proc_receive_hook(struct command *commands,
1099 const struct string_list *push_options)
1101 struct child_process proc = CHILD_PROCESS_INIT;
1102 struct async muxer;
1103 struct command *cmd;
1104 struct packet_reader reader;
1105 struct strbuf cap = STRBUF_INIT;
1106 struct strbuf errmsg = STRBUF_INIT;
1107 int hook_use_push_options = 0;
1108 int version = 0;
1109 int code;
1110 const char *hook_path = find_hook("proc-receive");
1112 if (!hook_path) {
1113 rp_error("cannot find hook 'proc-receive'");
1114 return -1;
1117 strvec_push(&proc.args, hook_path);
1118 proc.in = -1;
1119 proc.out = -1;
1120 proc.trace2_hook_name = "proc-receive";
1122 if (use_sideband) {
1123 memset(&muxer, 0, sizeof(muxer));
1124 muxer.proc = copy_to_sideband;
1125 muxer.in = -1;
1126 code = start_async(&muxer);
1127 if (code)
1128 return code;
1129 proc.err = muxer.in;
1130 } else {
1131 proc.err = 0;
1134 code = start_command(&proc);
1135 if (code) {
1136 if (use_sideband)
1137 finish_async(&muxer);
1138 return code;
1141 sigchain_push(SIGPIPE, SIG_IGN);
1143 /* Version negotiaton */
1144 packet_reader_init(&reader, proc.out, NULL, 0,
1145 PACKET_READ_CHOMP_NEWLINE |
1146 PACKET_READ_GENTLE_ON_EOF);
1147 if (use_atomic)
1148 strbuf_addstr(&cap, " atomic");
1149 if (use_push_options)
1150 strbuf_addstr(&cap, " push-options");
1151 if (cap.len) {
1152 code = packet_write_fmt_gently(proc.in, "version=1%c%s\n", '\0', cap.buf + 1);
1153 strbuf_release(&cap);
1154 } else {
1155 code = packet_write_fmt_gently(proc.in, "version=1\n");
1157 if (!code)
1158 code = packet_flush_gently(proc.in);
1160 if (!code)
1161 for (;;) {
1162 int linelen;
1163 enum packet_read_status status;
1165 status = packet_reader_read(&reader);
1166 if (status != PACKET_READ_NORMAL) {
1167 /* Check whether proc-receive exited abnormally */
1168 if (status == PACKET_READ_EOF)
1169 code = -1;
1170 break;
1173 if (reader.pktlen > 8 && starts_with(reader.line, "version=")) {
1174 version = atoi(reader.line + 8);
1175 linelen = strlen(reader.line);
1176 if (linelen < reader.pktlen) {
1177 const char *feature_list = reader.line + linelen + 1;
1178 if (parse_feature_request(feature_list, "push-options"))
1179 hook_use_push_options = 1;
1184 if (code) {
1185 strbuf_addstr(&errmsg, "fail to negotiate version with proc-receive hook");
1186 goto cleanup;
1189 switch (version) {
1190 case 0:
1191 /* fallthrough */
1192 case 1:
1193 break;
1194 default:
1195 strbuf_addf(&errmsg, "proc-receive version '%d' is not supported",
1196 version);
1197 code = -1;
1198 goto cleanup;
1201 /* Send commands */
1202 for (cmd = commands; cmd; cmd = cmd->next) {
1203 if (!cmd->run_proc_receive || cmd->skip_update || cmd->error_string)
1204 continue;
1205 code = packet_write_fmt_gently(proc.in, "%s %s %s",
1206 oid_to_hex(&cmd->old_oid),
1207 oid_to_hex(&cmd->new_oid),
1208 cmd->ref_name);
1209 if (code)
1210 break;
1212 if (!code)
1213 code = packet_flush_gently(proc.in);
1214 if (code) {
1215 strbuf_addstr(&errmsg, "fail to write commands to proc-receive hook");
1216 goto cleanup;
1219 /* Send push options */
1220 if (hook_use_push_options) {
1221 struct string_list_item *item;
1223 for_each_string_list_item(item, push_options) {
1224 code = packet_write_fmt_gently(proc.in, "%s", item->string);
1225 if (code)
1226 break;
1228 if (!code)
1229 code = packet_flush_gently(proc.in);
1230 if (code) {
1231 strbuf_addstr(&errmsg,
1232 "fail to write push-options to proc-receive hook");
1233 goto cleanup;
1237 /* Read result from proc-receive */
1238 code = read_proc_receive_report(&reader, commands, &errmsg);
1240 cleanup:
1241 close(proc.in);
1242 close(proc.out);
1243 if (use_sideband)
1244 finish_async(&muxer);
1245 if (finish_command(&proc))
1246 code = -1;
1247 if (errmsg.len >0) {
1248 char *p = errmsg.buf;
1250 p += errmsg.len - 1;
1251 if (*p == '\n')
1252 *p = '\0';
1253 rp_error("%s", errmsg.buf);
1254 strbuf_release(&errmsg);
1256 sigchain_pop(SIGPIPE);
1258 return code;
1261 static char *refuse_unconfigured_deny_msg =
1262 N_("By default, updating the current branch in a non-bare repository\n"
1263 "is denied, because it will make the index and work tree inconsistent\n"
1264 "with what you pushed, and will require 'git reset --hard' to match\n"
1265 "the work tree to HEAD.\n"
1266 "\n"
1267 "You can set the 'receive.denyCurrentBranch' configuration variable\n"
1268 "to 'ignore' or 'warn' in the remote repository to allow pushing into\n"
1269 "its current branch; however, this is not recommended unless you\n"
1270 "arranged to update its work tree to match what you pushed in some\n"
1271 "other way.\n"
1272 "\n"
1273 "To squelch this message and still keep the default behaviour, set\n"
1274 "'receive.denyCurrentBranch' configuration variable to 'refuse'.");
1276 static void refuse_unconfigured_deny(void)
1278 rp_error("%s", _(refuse_unconfigured_deny_msg));
1281 static char *refuse_unconfigured_deny_delete_current_msg =
1282 N_("By default, deleting the current branch is denied, because the next\n"
1283 "'git clone' won't result in any file checked out, causing confusion.\n"
1284 "\n"
1285 "You can set 'receive.denyDeleteCurrent' configuration variable to\n"
1286 "'warn' or 'ignore' in the remote repository to allow deleting the\n"
1287 "current branch, with or without a warning message.\n"
1288 "\n"
1289 "To squelch this message, you can set it to 'refuse'.");
1291 static void refuse_unconfigured_deny_delete_current(void)
1293 rp_error("%s", _(refuse_unconfigured_deny_delete_current_msg));
1296 static const struct object_id *command_singleton_iterator(void *cb_data);
1297 static int update_shallow_ref(struct command *cmd, struct shallow_info *si)
1299 struct shallow_lock shallow_lock = SHALLOW_LOCK_INIT;
1300 struct oid_array extra = OID_ARRAY_INIT;
1301 struct check_connected_options opt = CHECK_CONNECTED_INIT;
1302 uint32_t mask = 1 << (cmd->index % 32);
1303 int i;
1305 trace_printf_key(&trace_shallow,
1306 "shallow: update_shallow_ref %s\n", cmd->ref_name);
1307 for (i = 0; i < si->shallow->nr; i++)
1308 if (si->used_shallow[i] &&
1309 (si->used_shallow[i][cmd->index / 32] & mask) &&
1310 !delayed_reachability_test(si, i))
1311 oid_array_append(&extra, &si->shallow->oid[i]);
1313 opt.env = tmp_objdir_env(tmp_objdir);
1314 setup_alternate_shallow(&shallow_lock, &opt.shallow_file, &extra);
1315 if (check_connected(command_singleton_iterator, cmd, &opt)) {
1316 rollback_shallow_file(the_repository, &shallow_lock);
1317 oid_array_clear(&extra);
1318 return -1;
1321 commit_shallow_file(the_repository, &shallow_lock);
1324 * Make sure setup_alternate_shallow() for the next ref does
1325 * not lose these new roots..
1327 for (i = 0; i < extra.nr; i++)
1328 register_shallow(the_repository, &extra.oid[i]);
1330 si->shallow_ref[cmd->index] = 0;
1331 oid_array_clear(&extra);
1332 return 0;
1336 * NEEDSWORK: we should consolidate various implementions of "are we
1337 * on an unborn branch?" test into one, and make the unified one more
1338 * robust. !get_sha1() based check used here and elsewhere would not
1339 * allow us to tell an unborn branch from corrupt ref, for example.
1340 * For the purpose of fixing "deploy-to-update does not work when
1341 * pushing into an empty repository" issue, this should suffice for
1342 * now.
1344 static int head_has_history(void)
1346 struct object_id oid;
1348 return !get_oid("HEAD", &oid);
1351 static const char *push_to_deploy(unsigned char *sha1,
1352 struct strvec *env,
1353 const char *work_tree)
1355 struct child_process child = CHILD_PROCESS_INIT;
1357 strvec_pushl(&child.args, "update-index", "-q", "--ignore-submodules",
1358 "--refresh", NULL);
1359 strvec_pushv(&child.env_array, env->v);
1360 child.dir = work_tree;
1361 child.no_stdin = 1;
1362 child.stdout_to_stderr = 1;
1363 child.git_cmd = 1;
1364 if (run_command(&child))
1365 return "Up-to-date check failed";
1367 /* run_command() does not clean up completely; reinitialize */
1368 child_process_init(&child);
1369 strvec_pushl(&child.args, "diff-files", "--quiet",
1370 "--ignore-submodules", "--", NULL);
1371 strvec_pushv(&child.env_array, env->v);
1372 child.dir = work_tree;
1373 child.no_stdin = 1;
1374 child.stdout_to_stderr = 1;
1375 child.git_cmd = 1;
1376 if (run_command(&child))
1377 return "Working directory has unstaged changes";
1379 child_process_init(&child);
1380 strvec_pushl(&child.args, "diff-index", "--quiet", "--cached",
1381 "--ignore-submodules",
1382 /* diff-index with either HEAD or an empty tree */
1383 head_has_history() ? "HEAD" : empty_tree_oid_hex(),
1384 "--", NULL);
1385 strvec_pushv(&child.env_array, env->v);
1386 child.no_stdin = 1;
1387 child.no_stdout = 1;
1388 child.stdout_to_stderr = 0;
1389 child.git_cmd = 1;
1390 if (run_command(&child))
1391 return "Working directory has staged changes";
1393 child_process_init(&child);
1394 strvec_pushl(&child.args, "read-tree", "-u", "-m", hash_to_hex(sha1),
1395 NULL);
1396 strvec_pushv(&child.env_array, env->v);
1397 child.dir = work_tree;
1398 child.no_stdin = 1;
1399 child.no_stdout = 1;
1400 child.stdout_to_stderr = 0;
1401 child.git_cmd = 1;
1402 if (run_command(&child))
1403 return "Could not update working tree to new HEAD";
1405 return NULL;
1408 static const char *push_to_checkout_hook = "push-to-checkout";
1410 static const char *push_to_checkout(unsigned char *hash,
1411 struct strvec *env,
1412 const char *work_tree)
1414 struct run_hooks_opt opt = RUN_HOOKS_OPT_INIT;
1416 strvec_pushf(env, "GIT_WORK_TREE=%s", absolute_path(work_tree));
1417 strvec_pushv(&opt.env, env->v);
1418 strvec_push(&opt.args, hash_to_hex(hash));
1419 if (run_hooks_opt(push_to_checkout_hook, &opt))
1420 return "push-to-checkout hook declined";
1421 else
1422 return NULL;
1425 static const char *update_worktree(unsigned char *sha1, const struct worktree *worktree)
1427 const char *retval, *git_dir;
1428 struct strvec env = STRVEC_INIT;
1430 if (!worktree || !worktree->path)
1431 BUG("worktree->path must be non-NULL");
1433 if (worktree->is_bare)
1434 return "denyCurrentBranch = updateInstead needs a worktree";
1435 git_dir = get_worktree_git_dir(worktree);
1437 strvec_pushf(&env, "GIT_DIR=%s", absolute_path(git_dir));
1439 if (!hook_exists(push_to_checkout_hook))
1440 retval = push_to_deploy(sha1, &env, worktree->path);
1441 else
1442 retval = push_to_checkout(sha1, &env, worktree->path);
1444 strvec_clear(&env);
1445 return retval;
1448 static const char *update(struct command *cmd, struct shallow_info *si)
1450 const char *name = cmd->ref_name;
1451 struct strbuf namespaced_name_buf = STRBUF_INIT;
1452 static char *namespaced_name;
1453 const char *ret;
1454 struct object_id *old_oid = &cmd->old_oid;
1455 struct object_id *new_oid = &cmd->new_oid;
1456 int do_update_worktree = 0;
1457 struct worktree **worktrees = get_worktrees();
1458 const struct worktree *worktree =
1459 find_shared_symref(worktrees, "HEAD", name);
1461 /* only refs/... are allowed */
1462 if (!starts_with(name, "refs/") || check_refname_format(name + 5, 0)) {
1463 rp_error("refusing to create funny ref '%s' remotely", name);
1464 ret = "funny refname";
1465 goto out;
1468 strbuf_addf(&namespaced_name_buf, "%s%s", get_git_namespace(), name);
1469 free(namespaced_name);
1470 namespaced_name = strbuf_detach(&namespaced_name_buf, NULL);
1472 if (worktree && !worktree->is_bare) {
1473 switch (deny_current_branch) {
1474 case DENY_IGNORE:
1475 break;
1476 case DENY_WARN:
1477 rp_warning("updating the current branch");
1478 break;
1479 case DENY_REFUSE:
1480 case DENY_UNCONFIGURED:
1481 rp_error("refusing to update checked out branch: %s", name);
1482 if (deny_current_branch == DENY_UNCONFIGURED)
1483 refuse_unconfigured_deny();
1484 ret = "branch is currently checked out";
1485 goto out;
1486 case DENY_UPDATE_INSTEAD:
1487 /* pass -- let other checks intervene first */
1488 do_update_worktree = 1;
1489 break;
1493 if (!is_null_oid(new_oid) && !has_object_file(new_oid)) {
1494 error("unpack should have generated %s, "
1495 "but I can't find it!", oid_to_hex(new_oid));
1496 ret = "bad pack";
1497 goto out;
1500 if (!is_null_oid(old_oid) && is_null_oid(new_oid)) {
1501 if (deny_deletes && starts_with(name, "refs/heads/")) {
1502 rp_error("denying ref deletion for %s", name);
1503 ret = "deletion prohibited";
1504 goto out;
1507 if (worktree || (head_name && !strcmp(namespaced_name, head_name))) {
1508 switch (deny_delete_current) {
1509 case DENY_IGNORE:
1510 break;
1511 case DENY_WARN:
1512 rp_warning("deleting the current branch");
1513 break;
1514 case DENY_REFUSE:
1515 case DENY_UNCONFIGURED:
1516 case DENY_UPDATE_INSTEAD:
1517 if (deny_delete_current == DENY_UNCONFIGURED)
1518 refuse_unconfigured_deny_delete_current();
1519 rp_error("refusing to delete the current branch: %s", name);
1520 ret = "deletion of the current branch prohibited";
1521 goto out;
1522 default:
1523 ret = "Invalid denyDeleteCurrent setting";
1524 goto out;
1529 if (deny_non_fast_forwards && !is_null_oid(new_oid) &&
1530 !is_null_oid(old_oid) &&
1531 starts_with(name, "refs/heads/")) {
1532 struct object *old_object, *new_object;
1533 struct commit *old_commit, *new_commit;
1535 old_object = parse_object(the_repository, old_oid);
1536 new_object = parse_object(the_repository, new_oid);
1538 if (!old_object || !new_object ||
1539 old_object->type != OBJ_COMMIT ||
1540 new_object->type != OBJ_COMMIT) {
1541 error("bad sha1 objects for %s", name);
1542 ret = "bad ref";
1543 goto out;
1545 old_commit = (struct commit *)old_object;
1546 new_commit = (struct commit *)new_object;
1547 if (!in_merge_bases(old_commit, new_commit)) {
1548 rp_error("denying non-fast-forward %s"
1549 " (you should pull first)", name);
1550 ret = "non-fast-forward";
1551 goto out;
1554 if (run_update_hook(cmd)) {
1555 rp_error("hook declined to update %s", name);
1556 ret = "hook declined";
1557 goto out;
1560 if (do_update_worktree) {
1561 ret = update_worktree(new_oid->hash, worktree);
1562 if (ret)
1563 goto out;
1566 if (is_null_oid(new_oid)) {
1567 struct strbuf err = STRBUF_INIT;
1568 if (!parse_object(the_repository, old_oid)) {
1569 old_oid = NULL;
1570 if (ref_exists(name)) {
1571 rp_warning("allowing deletion of corrupt ref");
1572 } else {
1573 rp_warning("deleting a non-existent ref");
1574 cmd->did_not_exist = 1;
1577 if (ref_transaction_delete(transaction,
1578 namespaced_name,
1579 old_oid,
1580 0, "push", &err)) {
1581 rp_error("%s", err.buf);
1582 ret = "failed to delete";
1583 } else {
1584 ret = NULL; /* good */
1586 strbuf_release(&err);
1588 else {
1589 struct strbuf err = STRBUF_INIT;
1590 if (shallow_update && si->shallow_ref[cmd->index] &&
1591 update_shallow_ref(cmd, si)) {
1592 ret = "shallow error";
1593 goto out;
1596 if (ref_transaction_update(transaction,
1597 namespaced_name,
1598 new_oid, old_oid,
1599 0, "push",
1600 &err)) {
1601 rp_error("%s", err.buf);
1602 ret = "failed to update ref";
1603 } else {
1604 ret = NULL; /* good */
1606 strbuf_release(&err);
1609 out:
1610 free_worktrees(worktrees);
1611 return ret;
1614 static void run_update_post_hook(struct command *commands)
1616 struct command *cmd;
1617 struct child_process proc = CHILD_PROCESS_INIT;
1618 const char *hook;
1620 hook = find_hook("post-update");
1621 if (!hook)
1622 return;
1624 for (cmd = commands; cmd; cmd = cmd->next) {
1625 if (cmd->error_string || cmd->did_not_exist)
1626 continue;
1627 if (!proc.args.nr)
1628 strvec_push(&proc.args, hook);
1629 strvec_push(&proc.args, cmd->ref_name);
1631 if (!proc.args.nr)
1632 return;
1634 proc.no_stdin = 1;
1635 proc.stdout_to_stderr = 1;
1636 proc.err = use_sideband ? -1 : 0;
1637 proc.trace2_hook_name = "post-update";
1639 if (!start_command(&proc)) {
1640 if (use_sideband)
1641 copy_to_sideband(proc.err, -1, NULL);
1642 finish_command(&proc);
1646 static void check_aliased_update_internal(struct command *cmd,
1647 struct string_list *list,
1648 const char *dst_name, int flag)
1650 struct string_list_item *item;
1651 struct command *dst_cmd;
1653 if (!(flag & REF_ISSYMREF))
1654 return;
1656 if (!dst_name) {
1657 rp_error("refusing update to broken symref '%s'", cmd->ref_name);
1658 cmd->skip_update = 1;
1659 cmd->error_string = "broken symref";
1660 return;
1662 dst_name = strip_namespace(dst_name);
1664 if ((item = string_list_lookup(list, dst_name)) == NULL)
1665 return;
1667 cmd->skip_update = 1;
1669 dst_cmd = (struct command *) item->util;
1671 if (oideq(&cmd->old_oid, &dst_cmd->old_oid) &&
1672 oideq(&cmd->new_oid, &dst_cmd->new_oid))
1673 return;
1675 dst_cmd->skip_update = 1;
1677 rp_error("refusing inconsistent update between symref '%s' (%s..%s) and"
1678 " its target '%s' (%s..%s)",
1679 cmd->ref_name,
1680 find_unique_abbrev(&cmd->old_oid, DEFAULT_ABBREV),
1681 find_unique_abbrev(&cmd->new_oid, DEFAULT_ABBREV),
1682 dst_cmd->ref_name,
1683 find_unique_abbrev(&dst_cmd->old_oid, DEFAULT_ABBREV),
1684 find_unique_abbrev(&dst_cmd->new_oid, DEFAULT_ABBREV));
1686 cmd->error_string = dst_cmd->error_string =
1687 "inconsistent aliased update";
1690 static void check_aliased_update(struct command *cmd, struct string_list *list)
1692 struct strbuf buf = STRBUF_INIT;
1693 const char *dst_name;
1694 int flag;
1696 strbuf_addf(&buf, "%s%s", get_git_namespace(), cmd->ref_name);
1697 dst_name = resolve_ref_unsafe(buf.buf, 0, NULL, &flag);
1698 check_aliased_update_internal(cmd, list, dst_name, flag);
1699 strbuf_release(&buf);
1702 static void check_aliased_updates(struct command *commands)
1704 struct command *cmd;
1705 struct string_list ref_list = STRING_LIST_INIT_NODUP;
1707 for (cmd = commands; cmd; cmd = cmd->next) {
1708 struct string_list_item *item =
1709 string_list_append(&ref_list, cmd->ref_name);
1710 item->util = (void *)cmd;
1712 string_list_sort(&ref_list);
1714 for (cmd = commands; cmd; cmd = cmd->next) {
1715 if (!cmd->error_string)
1716 check_aliased_update(cmd, &ref_list);
1719 string_list_clear(&ref_list, 0);
1722 static const struct object_id *command_singleton_iterator(void *cb_data)
1724 struct command **cmd_list = cb_data;
1725 struct command *cmd = *cmd_list;
1727 if (!cmd || is_null_oid(&cmd->new_oid))
1728 return NULL;
1729 *cmd_list = NULL; /* this returns only one */
1730 return &cmd->new_oid;
1733 static void set_connectivity_errors(struct command *commands,
1734 struct shallow_info *si)
1736 struct command *cmd;
1738 for (cmd = commands; cmd; cmd = cmd->next) {
1739 struct command *singleton = cmd;
1740 struct check_connected_options opt = CHECK_CONNECTED_INIT;
1742 if (shallow_update && si->shallow_ref[cmd->index])
1743 /* to be checked in update_shallow_ref() */
1744 continue;
1746 opt.env = tmp_objdir_env(tmp_objdir);
1747 if (!check_connected(command_singleton_iterator, &singleton,
1748 &opt))
1749 continue;
1751 cmd->error_string = "missing necessary objects";
1755 struct iterate_data {
1756 struct command *cmds;
1757 struct shallow_info *si;
1760 static const struct object_id *iterate_receive_command_list(void *cb_data)
1762 struct iterate_data *data = cb_data;
1763 struct command **cmd_list = &data->cmds;
1764 struct command *cmd = *cmd_list;
1766 for (; cmd; cmd = cmd->next) {
1767 if (shallow_update && data->si->shallow_ref[cmd->index])
1768 /* to be checked in update_shallow_ref() */
1769 continue;
1770 if (!is_null_oid(&cmd->new_oid) && !cmd->skip_update) {
1771 *cmd_list = cmd->next;
1772 return &cmd->new_oid;
1775 return NULL;
1778 static void reject_updates_to_hidden(struct command *commands)
1780 struct strbuf refname_full = STRBUF_INIT;
1781 size_t prefix_len;
1782 struct command *cmd;
1784 strbuf_addstr(&refname_full, get_git_namespace());
1785 prefix_len = refname_full.len;
1787 for (cmd = commands; cmd; cmd = cmd->next) {
1788 if (cmd->error_string)
1789 continue;
1791 strbuf_setlen(&refname_full, prefix_len);
1792 strbuf_addstr(&refname_full, cmd->ref_name);
1794 if (!ref_is_hidden(cmd->ref_name, refname_full.buf))
1795 continue;
1796 if (is_null_oid(&cmd->new_oid))
1797 cmd->error_string = "deny deleting a hidden ref";
1798 else
1799 cmd->error_string = "deny updating a hidden ref";
1802 strbuf_release(&refname_full);
1805 static int should_process_cmd(struct command *cmd)
1807 return !cmd->error_string && !cmd->skip_update;
1810 static void warn_if_skipped_connectivity_check(struct command *commands,
1811 struct shallow_info *si)
1813 struct command *cmd;
1814 int checked_connectivity = 1;
1816 for (cmd = commands; cmd; cmd = cmd->next) {
1817 if (should_process_cmd(cmd) && si->shallow_ref[cmd->index]) {
1818 error("BUG: connectivity check has not been run on ref %s",
1819 cmd->ref_name);
1820 checked_connectivity = 0;
1823 if (!checked_connectivity)
1824 BUG("connectivity check skipped???");
1827 static void execute_commands_non_atomic(struct command *commands,
1828 struct shallow_info *si)
1830 struct command *cmd;
1831 struct strbuf err = STRBUF_INIT;
1833 for (cmd = commands; cmd; cmd = cmd->next) {
1834 if (!should_process_cmd(cmd) || cmd->run_proc_receive)
1835 continue;
1837 transaction = ref_transaction_begin(&err);
1838 if (!transaction) {
1839 rp_error("%s", err.buf);
1840 strbuf_reset(&err);
1841 cmd->error_string = "transaction failed to start";
1842 continue;
1845 cmd->error_string = update(cmd, si);
1847 if (!cmd->error_string
1848 && ref_transaction_commit(transaction, &err)) {
1849 rp_error("%s", err.buf);
1850 strbuf_reset(&err);
1851 cmd->error_string = "failed to update ref";
1853 ref_transaction_free(transaction);
1855 strbuf_release(&err);
1858 static void execute_commands_atomic(struct command *commands,
1859 struct shallow_info *si)
1861 struct command *cmd;
1862 struct strbuf err = STRBUF_INIT;
1863 const char *reported_error = "atomic push failure";
1865 transaction = ref_transaction_begin(&err);
1866 if (!transaction) {
1867 rp_error("%s", err.buf);
1868 strbuf_reset(&err);
1869 reported_error = "transaction failed to start";
1870 goto failure;
1873 for (cmd = commands; cmd; cmd = cmd->next) {
1874 if (!should_process_cmd(cmd) || cmd->run_proc_receive)
1875 continue;
1877 cmd->error_string = update(cmd, si);
1879 if (cmd->error_string)
1880 goto failure;
1883 if (ref_transaction_commit(transaction, &err)) {
1884 rp_error("%s", err.buf);
1885 reported_error = "atomic transaction failed";
1886 goto failure;
1888 goto cleanup;
1890 failure:
1891 for (cmd = commands; cmd; cmd = cmd->next)
1892 if (!cmd->error_string)
1893 cmd->error_string = reported_error;
1895 cleanup:
1896 ref_transaction_free(transaction);
1897 strbuf_release(&err);
1900 static void execute_commands(struct command *commands,
1901 const char *unpacker_error,
1902 struct shallow_info *si,
1903 const struct string_list *push_options)
1905 struct check_connected_options opt = CHECK_CONNECTED_INIT;
1906 struct command *cmd;
1907 struct iterate_data data;
1908 struct async muxer;
1909 int err_fd = 0;
1910 int run_proc_receive = 0;
1912 if (unpacker_error) {
1913 for (cmd = commands; cmd; cmd = cmd->next)
1914 cmd->error_string = "unpacker error";
1915 return;
1918 if (use_sideband) {
1919 memset(&muxer, 0, sizeof(muxer));
1920 muxer.proc = copy_to_sideband;
1921 muxer.in = -1;
1922 if (!start_async(&muxer))
1923 err_fd = muxer.in;
1924 /* ...else, continue without relaying sideband */
1927 data.cmds = commands;
1928 data.si = si;
1929 opt.err_fd = err_fd;
1930 opt.progress = err_fd && !quiet;
1931 opt.env = tmp_objdir_env(tmp_objdir);
1932 if (check_connected(iterate_receive_command_list, &data, &opt))
1933 set_connectivity_errors(commands, si);
1935 if (use_sideband)
1936 finish_async(&muxer);
1938 reject_updates_to_hidden(commands);
1941 * Try to find commands that have special prefix in their reference names,
1942 * and mark them to run an external "proc-receive" hook later.
1944 if (proc_receive_ref) {
1945 for (cmd = commands; cmd; cmd = cmd->next) {
1946 if (!should_process_cmd(cmd))
1947 continue;
1949 if (proc_receive_ref_matches(cmd)) {
1950 cmd->run_proc_receive = RUN_PROC_RECEIVE_SCHEDULED;
1951 run_proc_receive = 1;
1956 if (run_receive_hook(commands, "pre-receive", 0, push_options)) {
1957 for (cmd = commands; cmd; cmd = cmd->next) {
1958 if (!cmd->error_string)
1959 cmd->error_string = "pre-receive hook declined";
1961 return;
1965 * If there is no command ready to run, should return directly to destroy
1966 * temporary data in the quarantine area.
1968 for (cmd = commands; cmd && cmd->error_string; cmd = cmd->next)
1969 ; /* nothing */
1970 if (!cmd)
1971 return;
1974 * Now we'll start writing out refs, which means the objects need
1975 * to be in their final positions so that other processes can see them.
1977 if (tmp_objdir_migrate(tmp_objdir) < 0) {
1978 for (cmd = commands; cmd; cmd = cmd->next) {
1979 if (!cmd->error_string)
1980 cmd->error_string = "unable to migrate objects to permanent storage";
1982 return;
1984 tmp_objdir = NULL;
1986 check_aliased_updates(commands);
1988 free(head_name_to_free);
1989 head_name = head_name_to_free = resolve_refdup("HEAD", 0, NULL, NULL);
1991 if (run_proc_receive &&
1992 run_proc_receive_hook(commands, push_options))
1993 for (cmd = commands; cmd; cmd = cmd->next)
1994 if (!cmd->error_string &&
1995 !(cmd->run_proc_receive & RUN_PROC_RECEIVE_RETURNED) &&
1996 (cmd->run_proc_receive || use_atomic))
1997 cmd->error_string = "fail to run proc-receive hook";
1999 if (use_atomic)
2000 execute_commands_atomic(commands, si);
2001 else
2002 execute_commands_non_atomic(commands, si);
2004 if (shallow_update)
2005 warn_if_skipped_connectivity_check(commands, si);
2008 static struct command **queue_command(struct command **tail,
2009 const char *line,
2010 int linelen)
2012 struct object_id old_oid, new_oid;
2013 struct command *cmd;
2014 const char *refname;
2015 int reflen;
2016 const char *p;
2018 if (parse_oid_hex(line, &old_oid, &p) ||
2019 *p++ != ' ' ||
2020 parse_oid_hex(p, &new_oid, &p) ||
2021 *p++ != ' ')
2022 die("protocol error: expected old/new/ref, got '%s'", line);
2024 refname = p;
2025 reflen = linelen - (p - line);
2026 FLEX_ALLOC_MEM(cmd, ref_name, refname, reflen);
2027 oidcpy(&cmd->old_oid, &old_oid);
2028 oidcpy(&cmd->new_oid, &new_oid);
2029 *tail = cmd;
2030 return &cmd->next;
2033 static void queue_commands_from_cert(struct command **tail,
2034 struct strbuf *push_cert)
2036 const char *boc, *eoc;
2038 if (*tail)
2039 die("protocol error: got both push certificate and unsigned commands");
2041 boc = strstr(push_cert->buf, "\n\n");
2042 if (!boc)
2043 die("malformed push certificate %.*s", 100, push_cert->buf);
2044 else
2045 boc += 2;
2046 eoc = push_cert->buf + parse_signed_buffer(push_cert->buf, push_cert->len);
2048 while (boc < eoc) {
2049 const char *eol = memchr(boc, '\n', eoc - boc);
2050 tail = queue_command(tail, boc, eol ? eol - boc : eoc - boc);
2051 boc = eol ? eol + 1 : eoc;
2055 static struct command *read_head_info(struct packet_reader *reader,
2056 struct oid_array *shallow)
2058 struct command *commands = NULL;
2059 struct command **p = &commands;
2060 for (;;) {
2061 int linelen;
2063 if (packet_reader_read(reader) != PACKET_READ_NORMAL)
2064 break;
2066 if (reader->pktlen > 8 && starts_with(reader->line, "shallow ")) {
2067 struct object_id oid;
2068 if (get_oid_hex(reader->line + 8, &oid))
2069 die("protocol error: expected shallow sha, got '%s'",
2070 reader->line + 8);
2071 oid_array_append(shallow, &oid);
2072 continue;
2075 linelen = strlen(reader->line);
2076 if (linelen < reader->pktlen) {
2077 const char *feature_list = reader->line + linelen + 1;
2078 const char *hash = NULL;
2079 const char *client_sid;
2080 int len = 0;
2081 if (parse_feature_request(feature_list, "report-status"))
2082 report_status = 1;
2083 if (parse_feature_request(feature_list, "report-status-v2"))
2084 report_status_v2 = 1;
2085 if (parse_feature_request(feature_list, "side-band-64k"))
2086 use_sideband = LARGE_PACKET_MAX;
2087 if (parse_feature_request(feature_list, "quiet"))
2088 quiet = 1;
2089 if (advertise_atomic_push
2090 && parse_feature_request(feature_list, "atomic"))
2091 use_atomic = 1;
2092 if (advertise_push_options
2093 && parse_feature_request(feature_list, "push-options"))
2094 use_push_options = 1;
2095 hash = parse_feature_value(feature_list, "object-format", &len, NULL);
2096 if (!hash) {
2097 hash = hash_algos[GIT_HASH_SHA1].name;
2098 len = strlen(hash);
2100 if (xstrncmpz(the_hash_algo->name, hash, len))
2101 die("error: unsupported object format '%s'", hash);
2102 client_sid = parse_feature_value(feature_list, "session-id", &len, NULL);
2103 if (client_sid) {
2104 char *sid = xstrndup(client_sid, len);
2105 trace2_data_string("transfer", NULL, "client-sid", client_sid);
2106 free(sid);
2110 if (!strcmp(reader->line, "push-cert")) {
2111 int true_flush = 0;
2112 int saved_options = reader->options;
2113 reader->options &= ~PACKET_READ_CHOMP_NEWLINE;
2115 for (;;) {
2116 packet_reader_read(reader);
2117 if (reader->status == PACKET_READ_FLUSH) {
2118 true_flush = 1;
2119 break;
2121 if (reader->status != PACKET_READ_NORMAL) {
2122 die("protocol error: got an unexpected packet");
2124 if (!strcmp(reader->line, "push-cert-end\n"))
2125 break; /* end of cert */
2126 strbuf_addstr(&push_cert, reader->line);
2128 reader->options = saved_options;
2130 if (true_flush)
2131 break;
2132 continue;
2135 p = queue_command(p, reader->line, linelen);
2138 if (push_cert.len)
2139 queue_commands_from_cert(p, &push_cert);
2141 return commands;
2144 static void read_push_options(struct packet_reader *reader,
2145 struct string_list *options)
2147 while (1) {
2148 if (packet_reader_read(reader) != PACKET_READ_NORMAL)
2149 break;
2151 string_list_append(options, reader->line);
2155 static const char *parse_pack_header(struct pack_header *hdr)
2157 switch (read_pack_header(0, hdr)) {
2158 case PH_ERROR_EOF:
2159 return "eof before pack header was fully read";
2161 case PH_ERROR_PACK_SIGNATURE:
2162 return "protocol error (pack signature mismatch detected)";
2164 case PH_ERROR_PROTOCOL:
2165 return "protocol error (pack version unsupported)";
2167 default:
2168 return "unknown error in parse_pack_header";
2170 case 0:
2171 return NULL;
2175 static const char *pack_lockfile;
2177 static void push_header_arg(struct strvec *args, struct pack_header *hdr)
2179 strvec_pushf(args, "--pack_header=%"PRIu32",%"PRIu32,
2180 ntohl(hdr->hdr_version), ntohl(hdr->hdr_entries));
2183 static const char *unpack(int err_fd, struct shallow_info *si)
2185 struct pack_header hdr;
2186 const char *hdr_err;
2187 int status;
2188 struct child_process child = CHILD_PROCESS_INIT;
2189 int fsck_objects = (receive_fsck_objects >= 0
2190 ? receive_fsck_objects
2191 : transfer_fsck_objects >= 0
2192 ? transfer_fsck_objects
2193 : 0);
2195 hdr_err = parse_pack_header(&hdr);
2196 if (hdr_err) {
2197 if (err_fd > 0)
2198 close(err_fd);
2199 return hdr_err;
2202 if (si->nr_ours || si->nr_theirs) {
2203 alt_shallow_file = setup_temporary_shallow(si->shallow);
2204 strvec_push(&child.args, "--shallow-file");
2205 strvec_push(&child.args, alt_shallow_file);
2208 tmp_objdir = tmp_objdir_create("incoming");
2209 if (!tmp_objdir) {
2210 if (err_fd > 0)
2211 close(err_fd);
2212 return "unable to create temporary object directory";
2214 if (tmp_objdir)
2215 strvec_pushv(&child.env_array, tmp_objdir_env(tmp_objdir));
2218 * Normally we just pass the tmp_objdir environment to the child
2219 * processes that do the heavy lifting, but we may need to see these
2220 * objects ourselves to set up shallow information.
2222 tmp_objdir_add_as_alternate(tmp_objdir);
2224 if (ntohl(hdr.hdr_entries) < unpack_limit) {
2225 strvec_push(&child.args, "unpack-objects");
2226 push_header_arg(&child.args, &hdr);
2227 if (quiet)
2228 strvec_push(&child.args, "-q");
2229 if (fsck_objects)
2230 strvec_pushf(&child.args, "--strict%s",
2231 fsck_msg_types.buf);
2232 if (max_input_size)
2233 strvec_pushf(&child.args, "--max-input-size=%"PRIuMAX,
2234 (uintmax_t)max_input_size);
2235 child.no_stdout = 1;
2236 child.err = err_fd;
2237 child.git_cmd = 1;
2238 status = run_command(&child);
2239 if (status)
2240 return "unpack-objects abnormal exit";
2241 } else {
2242 char hostname[HOST_NAME_MAX + 1];
2244 strvec_pushl(&child.args, "index-pack", "--stdin", NULL);
2245 push_header_arg(&child.args, &hdr);
2247 if (xgethostname(hostname, sizeof(hostname)))
2248 xsnprintf(hostname, sizeof(hostname), "localhost");
2249 strvec_pushf(&child.args,
2250 "--keep=receive-pack %"PRIuMAX" on %s",
2251 (uintmax_t)getpid(),
2252 hostname);
2254 if (!quiet && err_fd)
2255 strvec_push(&child.args, "--show-resolving-progress");
2256 if (use_sideband)
2257 strvec_push(&child.args, "--report-end-of-input");
2258 if (fsck_objects)
2259 strvec_pushf(&child.args, "--strict%s",
2260 fsck_msg_types.buf);
2261 if (!reject_thin)
2262 strvec_push(&child.args, "--fix-thin");
2263 if (max_input_size)
2264 strvec_pushf(&child.args, "--max-input-size=%"PRIuMAX,
2265 (uintmax_t)max_input_size);
2266 child.out = -1;
2267 child.err = err_fd;
2268 child.git_cmd = 1;
2269 status = start_command(&child);
2270 if (status)
2271 return "index-pack fork failed";
2272 pack_lockfile = index_pack_lockfile(child.out, NULL);
2273 close(child.out);
2274 status = finish_command(&child);
2275 if (status)
2276 return "index-pack abnormal exit";
2277 reprepare_packed_git(the_repository);
2279 return NULL;
2282 static const char *unpack_with_sideband(struct shallow_info *si)
2284 struct async muxer;
2285 const char *ret;
2287 if (!use_sideband)
2288 return unpack(0, si);
2290 use_keepalive = KEEPALIVE_AFTER_NUL;
2291 memset(&muxer, 0, sizeof(muxer));
2292 muxer.proc = copy_to_sideband;
2293 muxer.in = -1;
2294 if (start_async(&muxer))
2295 return NULL;
2297 ret = unpack(muxer.in, si);
2299 finish_async(&muxer);
2300 return ret;
2303 static void prepare_shallow_update(struct shallow_info *si)
2305 int i, j, k, bitmap_size = DIV_ROUND_UP(si->ref->nr, 32);
2307 ALLOC_ARRAY(si->used_shallow, si->shallow->nr);
2308 assign_shallow_commits_to_refs(si, si->used_shallow, NULL);
2310 CALLOC_ARRAY(si->need_reachability_test, si->shallow->nr);
2311 CALLOC_ARRAY(si->reachable, si->shallow->nr);
2312 CALLOC_ARRAY(si->shallow_ref, si->ref->nr);
2314 for (i = 0; i < si->nr_ours; i++)
2315 si->need_reachability_test[si->ours[i]] = 1;
2317 for (i = 0; i < si->shallow->nr; i++) {
2318 if (!si->used_shallow[i])
2319 continue;
2320 for (j = 0; j < bitmap_size; j++) {
2321 if (!si->used_shallow[i][j])
2322 continue;
2323 si->need_reachability_test[i]++;
2324 for (k = 0; k < 32; k++)
2325 if (si->used_shallow[i][j] & (1U << k))
2326 si->shallow_ref[j * 32 + k]++;
2330 * true for those associated with some refs and belong
2331 * in "ours" list aka "step 7 not done yet"
2333 si->need_reachability_test[i] =
2334 si->need_reachability_test[i] > 1;
2338 * keep hooks happy by forcing a temporary shallow file via
2339 * env variable because we can't add --shallow-file to every
2340 * command. check_connected() will be done with
2341 * true .git/shallow though.
2343 setenv(GIT_SHALLOW_FILE_ENVIRONMENT, alt_shallow_file, 1);
2346 static void update_shallow_info(struct command *commands,
2347 struct shallow_info *si,
2348 struct oid_array *ref)
2350 struct command *cmd;
2351 int *ref_status;
2352 remove_nonexistent_theirs_shallow(si);
2353 if (!si->nr_ours && !si->nr_theirs) {
2354 shallow_update = 0;
2355 return;
2358 for (cmd = commands; cmd; cmd = cmd->next) {
2359 if (is_null_oid(&cmd->new_oid))
2360 continue;
2361 oid_array_append(ref, &cmd->new_oid);
2362 cmd->index = ref->nr - 1;
2364 si->ref = ref;
2366 if (shallow_update) {
2367 prepare_shallow_update(si);
2368 return;
2371 ALLOC_ARRAY(ref_status, ref->nr);
2372 assign_shallow_commits_to_refs(si, NULL, ref_status);
2373 for (cmd = commands; cmd; cmd = cmd->next) {
2374 if (is_null_oid(&cmd->new_oid))
2375 continue;
2376 if (ref_status[cmd->index]) {
2377 cmd->error_string = "shallow update not allowed";
2378 cmd->skip_update = 1;
2381 free(ref_status);
2384 static void report(struct command *commands, const char *unpack_status)
2386 struct command *cmd;
2387 struct strbuf buf = STRBUF_INIT;
2389 packet_buf_write(&buf, "unpack %s\n",
2390 unpack_status ? unpack_status : "ok");
2391 for (cmd = commands; cmd; cmd = cmd->next) {
2392 if (!cmd->error_string)
2393 packet_buf_write(&buf, "ok %s\n",
2394 cmd->ref_name);
2395 else
2396 packet_buf_write(&buf, "ng %s %s\n",
2397 cmd->ref_name, cmd->error_string);
2399 packet_buf_flush(&buf);
2401 if (use_sideband)
2402 send_sideband(1, 1, buf.buf, buf.len, use_sideband);
2403 else
2404 write_or_die(1, buf.buf, buf.len);
2405 strbuf_release(&buf);
2408 static void report_v2(struct command *commands, const char *unpack_status)
2410 struct command *cmd;
2411 struct strbuf buf = STRBUF_INIT;
2412 struct ref_push_report *report;
2414 packet_buf_write(&buf, "unpack %s\n",
2415 unpack_status ? unpack_status : "ok");
2416 for (cmd = commands; cmd; cmd = cmd->next) {
2417 int count = 0;
2419 if (cmd->error_string) {
2420 packet_buf_write(&buf, "ng %s %s\n",
2421 cmd->ref_name,
2422 cmd->error_string);
2423 continue;
2425 packet_buf_write(&buf, "ok %s\n",
2426 cmd->ref_name);
2427 for (report = cmd->report; report; report = report->next) {
2428 if (count++ > 0)
2429 packet_buf_write(&buf, "ok %s\n",
2430 cmd->ref_name);
2431 if (report->ref_name)
2432 packet_buf_write(&buf, "option refname %s\n",
2433 report->ref_name);
2434 if (report->old_oid)
2435 packet_buf_write(&buf, "option old-oid %s\n",
2436 oid_to_hex(report->old_oid));
2437 if (report->new_oid)
2438 packet_buf_write(&buf, "option new-oid %s\n",
2439 oid_to_hex(report->new_oid));
2440 if (report->forced_update)
2441 packet_buf_write(&buf, "option forced-update\n");
2444 packet_buf_flush(&buf);
2446 if (use_sideband)
2447 send_sideband(1, 1, buf.buf, buf.len, use_sideband);
2448 else
2449 write_or_die(1, buf.buf, buf.len);
2450 strbuf_release(&buf);
2453 static int delete_only(struct command *commands)
2455 struct command *cmd;
2456 for (cmd = commands; cmd; cmd = cmd->next) {
2457 if (!is_null_oid(&cmd->new_oid))
2458 return 0;
2460 return 1;
2463 int cmd_receive_pack(int argc, const char **argv, const char *prefix)
2465 int advertise_refs = 0;
2466 struct command *commands;
2467 struct oid_array shallow = OID_ARRAY_INIT;
2468 struct oid_array ref = OID_ARRAY_INIT;
2469 struct shallow_info si;
2470 struct packet_reader reader;
2472 struct option options[] = {
2473 OPT__QUIET(&quiet, N_("quiet")),
2474 OPT_HIDDEN_BOOL(0, "stateless-rpc", &stateless_rpc, NULL),
2475 OPT_HIDDEN_BOOL(0, "http-backend-info-refs", &advertise_refs, NULL),
2476 OPT_ALIAS(0, "advertise-refs", "http-backend-info-refs"),
2477 OPT_HIDDEN_BOOL(0, "reject-thin-pack-for-testing", &reject_thin, NULL),
2478 OPT_END()
2481 packet_trace_identity("receive-pack");
2483 argc = parse_options(argc, argv, prefix, options, receive_pack_usage, 0);
2485 if (argc > 1)
2486 usage_msg_opt(_("too many arguments"), receive_pack_usage, options);
2487 if (argc == 0)
2488 usage_msg_opt(_("you must specify a directory"), receive_pack_usage, options);
2490 service_dir = argv[0];
2492 setup_path();
2494 if (!enter_repo(service_dir, 0))
2495 die("'%s' does not appear to be a git repository", service_dir);
2497 git_config(receive_pack_config, NULL);
2498 if (cert_nonce_seed)
2499 push_cert_nonce = prepare_push_cert_nonce(service_dir, time(NULL));
2501 if (0 <= transfer_unpack_limit)
2502 unpack_limit = transfer_unpack_limit;
2503 else if (0 <= receive_unpack_limit)
2504 unpack_limit = receive_unpack_limit;
2506 switch (determine_protocol_version_server()) {
2507 case protocol_v2:
2509 * push support for protocol v2 has not been implemented yet,
2510 * so ignore the request to use v2 and fallback to using v0.
2512 break;
2513 case protocol_v1:
2515 * v1 is just the original protocol with a version string,
2516 * so just fall through after writing the version string.
2518 if (advertise_refs || !stateless_rpc)
2519 packet_write_fmt(1, "version 1\n");
2521 /* fallthrough */
2522 case protocol_v0:
2523 break;
2524 case protocol_unknown_version:
2525 BUG("unknown protocol version");
2528 if (advertise_refs || !stateless_rpc) {
2529 write_head_info();
2531 if (advertise_refs)
2532 return 0;
2534 packet_reader_init(&reader, 0, NULL, 0,
2535 PACKET_READ_CHOMP_NEWLINE |
2536 PACKET_READ_DIE_ON_ERR_PACKET);
2538 if ((commands = read_head_info(&reader, &shallow)) != NULL) {
2539 const char *unpack_status = NULL;
2540 struct string_list push_options = STRING_LIST_INIT_DUP;
2542 if (use_push_options)
2543 read_push_options(&reader, &push_options);
2544 if (!check_cert_push_options(&push_options)) {
2545 struct command *cmd;
2546 for (cmd = commands; cmd; cmd = cmd->next)
2547 cmd->error_string = "inconsistent push options";
2550 prepare_shallow_info(&si, &shallow);
2551 if (!si.nr_ours && !si.nr_theirs)
2552 shallow_update = 0;
2553 if (!delete_only(commands)) {
2554 unpack_status = unpack_with_sideband(&si);
2555 update_shallow_info(commands, &si, &ref);
2557 use_keepalive = KEEPALIVE_ALWAYS;
2558 execute_commands(commands, unpack_status, &si,
2559 &push_options);
2560 if (pack_lockfile)
2561 unlink_or_warn(pack_lockfile);
2562 sigchain_push(SIGPIPE, SIG_IGN);
2563 if (report_status_v2)
2564 report_v2(commands, unpack_status);
2565 else if (report_status)
2566 report(commands, unpack_status);
2567 sigchain_pop(SIGPIPE);
2568 run_receive_hook(commands, "post-receive", 1,
2569 &push_options);
2570 run_update_post_hook(commands);
2571 string_list_clear(&push_options, 0);
2572 if (auto_gc) {
2573 struct child_process proc = CHILD_PROCESS_INIT;
2575 proc.no_stdin = 1;
2576 proc.stdout_to_stderr = 1;
2577 proc.err = use_sideband ? -1 : 0;
2578 proc.git_cmd = proc.close_object_store = 1;
2579 strvec_pushl(&proc.args, "gc", "--auto", "--quiet",
2580 NULL);
2582 if (!start_command(&proc)) {
2583 if (use_sideband)
2584 copy_to_sideband(proc.err, -1, NULL);
2585 finish_command(&proc);
2588 if (auto_update_server_info)
2589 update_server_info(0);
2590 clear_shallow_info(&si);
2592 if (use_sideband)
2593 packet_flush(1);
2594 oid_array_clear(&shallow);
2595 oid_array_clear(&ref);
2596 free((void *)push_cert_nonce);
2597 return 0;