On 2020-09-24 17:02, Arthur Lutz wrote:> One thing that would be neat
(and maybe is already possible) would be to
> have comments in the .gpg-id file to indicate who the key belongs to.
> Going from :
>
> cat teamA/.gpg-id
> 0123901293
> 0912385810
>
> To
>
> cat teamA/.gpg
> # bob
>
Is there anything I can do to help get this merged? I'm bitten
occasionally by git fetch failing and pass ignoring the failure.
On Sun, 28 Jun 2020 at 17:41, wrote:
>
> On Thu, 25 Jun 2020, Kjetil Torgrim Homme wrote:
> > On 6/24/20 10:23 PM, robpill...@gmail.com wrote:
> >> That's a fair point
