Developer screen: The-Big-Mini as head developer, OofMini as collaborator#59
Merged
Conversation
…ator Rework the Developer screen from a single hardcoded OofMini profile to a head developer plus a collaborators list. DeveloperProfileStore now holds an ordered list of profiles (The-Big-Mini as Lead Developer, OofMini as Collaborator), fetching each GitHub profile + avatar once (cached; failed profiles retry). The head developer renders as the existing hero card / stats / View-on-GitHub button (now driven by the profile's own login, name, and URL instead of hardcoded OofMini). Collaborators render below as compact tappable rows (avatar, name, @login, role) that open their GitHub profile. https://claude.ai/code/session_01PT8zpkUrgTRaGeKmbvVyNe
Contributor
|
Builds for this Pull Request are available at |
Contributor
|
Download the artifacts for this pull request (nightly.link): |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Reworks the Developer settings screen from a single hardcoded OofMini profile into a head developer plus a collaborators list, per request: The-Big-Mini is now the head developer and OofMini is listed as a collaborator.
Type of change
Changes
DeveloperProfileStorenow holds an ordered list of profiles —The-Big-Mini(Lead Developer) andOofMini(Collaborator) — and fetches each GitHub profile + avatar once (cached; a profile that fails to load retries on the next fetch). ExposesheadDevandcollaborators.@login, role) that open the collaborator's GitHub profile.prefetch()(called from AppDelegate + SettingsRootView) is unchanged and now warms both profiles.Testing
Build and upload MiniStoreis the compile check. UI-only change to the Developer settings screen; no signing/auth/data paths touched. On device, open Settings → Developer: hero card shows The-Big-Mini, a Collaborators row shows OofMini, both tap through to GitHub.Checklist
develop(nevermain)CLAUDE.md🤖 Generated with Claude Code
Generated by Claude Code