Merge branch 'jc/push-cert'

* jc/push-cert: push: heed user.signingkey for signed pushes

Junio C Hamano committed Oct 24, 2014 at 15:01 UTC a33043f6393ae2a737f08d4f42d78fb06ba1e107

No changes.