Today I saw on Nostr:

Dude with a Github pull request link in his bio.

The dude nostr:npub1mygerccwqpzyh9pvp6pv44rskv40zutkfs38t0hqhkvnwlhagp6s3psn5p

The PR https://github.com/diem/diem/pull/83/files

This is hilarious 🤣

Thank you sir, made my morning