mirror of
https://github.com/git/git.git
synced 2026-01-16 13:49:39 +00:00
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