Created attachment 133846 [details]
New gpg key
My freedesktop user (hey_neken) needs to get a new gpg key added.
Can you please demonstrate your identity by creating a new 'freedesktop-gpg' repository on https://github.com/mikelolasagasti containing this key? Thanks.
Please reopen if you still need this, however as we have mostly moved to GitLab it should be unnecessary.