diff options
| author | Junio C Hamano <gitster@pobox.com> | 2017-06-04 10:21:05 +0900 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-06-04 10:21:05 +0900 |
| commit | 058d655f8fa68986d1d4a020052728e9e6fa848c (patch) | |
| tree | d5dda906c8e8cb8564fdfd4adc278f41153b284f /wt-status.h | |
| parent | 34bbe2edd47cf22a7af361f8ec9d41c5ec95aaac (diff) | |
| parent | cbaf82cc6b734244a9190c3341ca5f08f8d5acc4 (diff) | |
| download | git-058d655f8fa68986d1d4a020052728e9e6fa848c.tar.gz | |
Merge branch 'jt/push-options-doc' into maint
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 'wt-status.h')
0 files changed, 0 insertions, 0 deletions