diff options
author | Michael J Gruber <git@drmicha.warpmail.net> | 2014-10-22 16:57:49 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2014-10-24 10:50:05 -0700 |
commit | b9459019bbb7b864cf59fa307953834996ab4dbe (patch) | |
tree | 29908d1a8bbe354c9151f215480e06ab6af3857f /builtin/receive-pack.c | |
parent | 6f5ef44e0d8933621fcd50127518557013002313 (diff) | |
download | git-b9459019bbb7b864cf59fa307953834996ab4dbe.tar.gz |
push: heed user.signingkey for signed pushes
push --signed promises to take user.signingkey as the signing key but
fails to read the config.
Make it do so.
Signed-off-by: Michael J Gruber <git@drmicha.warpmail.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin/receive-pack.c')
0 files changed, 0 insertions, 0 deletions