Merge branch 'jc/push-cert'
authorJunio C Hamano <gitster@pobox.com>
Fri, 24 Oct 2014 22:01:32 +0000 (15:01 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 24 Oct 2014 22:01:32 +0000 (15:01 -0700)
* jc/push-cert:
push: heed user.signingkey for signed pushes

Trivial merge