Can someone point me to reliable sources for the current PGP Key of Luke Dashjr?

#bitcoin @knots #asknostr
 

 I found this
https://github.com/bitcoinknots/guix.sigs/blob/knots/builder-keys/luke-jr.gpg 

 Thanks a lot