From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 24 Oct 2014 16:48:50 GMT
Subject: Re: [PATCHv2] push: heed user.signingkey for signed pushes
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:

> 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.