https://github.com/withinboredom.gpg https://github.com/withinboredom.gpg and replace the username. If they have commit signing configured, they have keys, and

https://github.com/withinboredom.gpg https://github.com/withinboredom.gpg and replace the username. If they have commit signing configured, they have keys, and then they (probably) can decrypt with that key.