diff options
| author | Junio C Hamano <gitster@pobox.com> | 2017-05-23 13:46:07 +0900 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-05-23 13:46:07 +0900 |
| commit | 3c980083bc404cb62fb87c76d331c48a44c5f50d (patch) | |
| tree | 7f2fe624f1737885de03efc891363401341bcf39 /Makefile | |
| parent | e4b6ccdbffc6b4aa17af511632e7228f900a673e (diff) | |
| parent | cbaf82cc6b734244a9190c3341ca5f08f8d5acc4 (diff) | |
| download | git-3c980083bc404cb62fb87c76d331c48a44c5f50d.tar.gz | |
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
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions