keys/A9348594CE31283A826FBDD8D57633D441E25BB5.asc: Refresh my public key

[alejandro-colomar]

Updated with:

$ gpg --armor \
	--output A9348594CE31283A826FBDD8D57633D441E25BB5.asc \
	--export alx@kernel.org;

@hallyn , please push manually in a signed commit.

Cc: @jubalh

[alejandro-colomar]

Oops, I accidentally closed this; I thought we had merged it already.

[hallyn]

What do you think is the most useful way to do that (make it signed)?

I can cherry-pick -S it, I can merge -S it, or I can just make a signed tag...

[alejandro-colomar]

What do you think is the most useful way to do that (make it signed)?

I can cherry-pick -S it, I can merge -S it, or I can just make a signed tag...

I think a signed tag will be better. That will keep my signature and add yours, so that the commit is signed by both. :)

[alejandro-colomar]

What do you think is the most useful way to do that (make it signed)?
I can cherry-pick -S it, I can merge -S it, or I can just make a signed tag...

I think a signed tag will be better. That will keep my signature and add yours, so that the commit is signed by both. :)

Or maybe better: a git merge --no-ff -S. This also provides both signatures (mine for the commit, and yours for the merge commit), and avoids a tag.