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 /git-gui/lib/commit.tcl | |
| parent | Merge branch 'js/plug-leaks' into maint (diff) | |
| parent | receive-pack: verify push options in cert (diff) | |
| download | git-058d655f8fa68986d1d4a020052728e9e6fa848c.tar.gz git-058d655f8fa68986d1d4a020052728e9e6fa848c.zip | |
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 'git-gui/lib/commit.tcl')
0 files changed, 0 insertions, 0 deletions