[fernandofreamunde]

Summary

• Cache GitHub contributor usernames for nunomaduro/dev-null.sh and expose a contributor flag on serialized users
• Show the /dev/null logo mark after the display name on commits, profiles, the aside, Who to follow, and hover previews

looks like this:

Test plan

• Confirm a known repo contributor (e.g. yourself) shows the mark after their name on a commit
• Confirm a non-contributor has no mark
• Check the mark on profile heading, sticky header, aside “You” card, and Who to follow (when a suggested user is a contributor)
• Hover a contributor’s name and confirm the preview card shows the mark
• With GitHub unreachable / cold cache miss, the app still loads and nobody is incorrectly marked

Made with Cursor

[hbenabdallah]

#741 also adds a mark for /dev/null contributors and fetches the same contributor list from GitHub. Worth agreeing on one approach so both do not land.

[fernandofreamunde]

@hbenabdallah that one looks more like an achievement, which is not a bad idea I would say.

I am ok with whatever happens in the end. 😄

[brendt]

@nunomaduro thoughts?

[paulinevos]

I would prefer the achievement badge route, as this could be conflated with "member of the org"

[fernandofreamunde]

@paulinevos fair point. I initially was thinking of making it have a different one for the members of the org. But It would require building an admin so you guys can manage who got those, and I thought it was going to make this a tad too big. I wanted it to stay small and iterate.

it does have a tooltip mentioning the meaning, and we can make it so it is grayscale for us contributors and color for members of the org.

Initially I had in mind gold and silver to distinguish but color is... as good as gold :)