On 2022-08-06, Tobias Geerinckx-Rice wrote:
> On 2022-08-06 20:48, Tobias Geerinckx-Rice wrote:
>>   guix pull: error: commit 39465409f0481f27d252ce25d2b02d3f5cbc6723
>>   not signed by an authorized key:
>>   2841 9AC6 5038 7440 C7E9 2FFA 2208 D209 58C1 DEB0
>
> I tried a few other random things to wriggle out of this but I think 
> we're stuck (which is, design-wise, probably a good thing).

What a great opportunity to switch to using "main" instead of "master"
anyways. :)

I thought git was going to at some point make "main" the default new
branch name instead of "master" anyways. May as well get ahead of the
game, now that there's a technical reason to consider switching branch
names anyways.

live well,
  vagrant