diff options
author | Junio C Hamano <gitster@pobox.com> | 2014-10-24 15:01:32 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2014-10-24 15:01:32 -0700 |
commit | a33043f6393ae2a737f08d4f42d78fb06ba1e107 (patch) | |
tree | ee1d8949ab87bdc80f9e63320306938fc3a76b36 /grep.h | |
parent | 95d2255bfe9f766c357d2a4e9a7c005647ab0b88 (diff) | |
parent | b9459019bbb7b864cf59fa307953834996ab4dbe (diff) | |
download | git-a33043f6393ae2a737f08d4f42d78fb06ba1e107.tar.gz |
Merge branch 'jc/push-cert'
* jc/push-cert:
push: heed user.signingkey for signed pushes
Diffstat (limited to 'grep.h')
0 files changed, 0 insertions, 0 deletions