Re: Unsigned commits, oops!

[Arun Isaac]

Hi Ludo,

> Since they’re the last commits, it’s okay to just replace them with
> signed commits IMO.

Do you mean I should force push to the repo and remove these 3 commits?

> However, there’s a typo in ‘.guix-authorizations’ (misplaced parens) and
> the effect is that I’m not an authorized committer.  :-)
>
> Could you fix it, after which I can push a signed variant of those 3
> commits?

Sure, will do.

Regards,
Arun