granicus.if.org Git - git/commit

]> granicus.if.org Git - git/commit

author	Junio C Hamano <gitster@pobox.com>
	Tue, 23 May 2017 04:46:07 +0000 (13:46 +0900)
committer	Junio C Hamano <gitster@pobox.com>
	Tue, 23 May 2017 04:46:07 +0000 (13:46 +0900)
commit	3c980083bc404cb62fb87c76d331c48a44c5f50d
tree	7f2fe624f1737885de03efc891363401341bcf39	tree \| snapshot
parent	e4b6ccdbffc6b4aa17af511632e7228f900a673e	commit \| diff
parent	cbaf82cc6b734244a9190c3341ca5f08f8d5acc4	commit \| diff

Merge branch 'jt/push-options-doc'

The receive-pack program now makes sure that the push certificate
records the same set of push options used for pushing.

* jt/push-options-doc:
receive-pack: verify push options in cert
docs: correct receive.advertisePushOptions default

Documentation/config.txt	diff1 \|	diff2 \|	blob \| history
Documentation/technical/pack-protocol.txt	diff1 \|	diff2 \|	blob \| history
builtin/receive-pack.c	diff1 \|	diff2 \|	blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom

Documentation/config.txt	diff1 \|	diff2 \|	blob \| history
Documentation/technical/pack-protocol.txt	diff1 \|	diff2 \|	blob \| history
builtin/receive-pack.c	diff1 \|	diff2 \|	blob \| history