Re: [PATCHv2] push: heed user.signingkey for signed pushes
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Oct 24, 2014, 16:48 UTC
- Message-ID
- <xmqqk33ph0r1.fsf@gitster.dls.corp.google.com>
- In-Reply-To
- <544A6D4E.7070408@drmicha.warpmail.net>
Michael J Gruber <git@drmicha.warpmail.net> writes:
Show 7 quoted lines
> If I do that, I get: > > gpg: can't create `/home/mjg/src/git/t/trash > directory.t5534-push-signed/gpghome/random_seed': Permission denied > > So I we do copy the env around. Problems arise only when the original > copy ends up ro. We can guard against that by doing:
Ah, thanks for digging it further.