Personalizing your profile - GitHub Docs

You can share information about yourself with other users by setting a profile picture and adding a bio to your profile. Note Any details you add to your public profile will be visible to all GitHub users, including in regions where local laws, regulations, or cultural norms may pose risks to expressing your identity. We respect everyone’s decision about whether or not to share information about t

[hnishi2509]

なるほど。NASA の火星ヘリに搭載された OSS contributors にバッジが付与されたということらしい。