Skip to content

feat(dashboard): pick App repositories in Settings, add Clef models - #17

Merged
RedStar071 merged 1 commit into
mainfrom
redstar071/dashboard-repo-selection-and-ui-bug
Oct 18, 2026
Merged

RedStar071 merged 1 commit into
mainfrom
redstar071/dashboard-repo-selection-and-ui-bug

Conversation

@RedStar071

@RedStar071 RedStar071 commented Oct 18, 2026 •

Copy link
Copy Markdown
Member

🔗 Linked issue

None. Issues are disabled on this repository.

❓ Type of change

  • 📖 Documentation
  • 🐞 Bug fix
  • 👌 Enhancement
  • ✨ New feature
  • 🧹 Chore
  • ⚠️ Breaking change

📚 Description

Three Settings problems came up while configuring the Cloudflare deployment.

  • Repository names had to be typed. The GitHub repository fields now offer the repositories the GitHub App sees, and still accept a name typed by hand. They read a new private route, /api/installed-repositories, which the public ingress refuses like /api/configuration. The list comes from discovery at startup, so a repository added to the App appears after a restart. If the list fails to load, the field stays plain text.
  • Tag inputs looked broken. The delete button had min-h-11 min-w-11, so its hover state was a 44px square that covered the next tag. It is now 24px, and its click area is still widened.
  • Classification could not use Clef or a Workers AI token. The Clef models use a different wire than Jev: the model id sits in the path and the body is flat. advocaat now rewrites the request for @cf/cloudflare/clef, clef-flash and clef-omni. The Token file field wants a file path, which a Cloudflare deployment had no way to supply. The Container now saves the Workers AI token to /home/node/.config/wolfstar-github-agent/classification-token when a Workers AI login exists. The field hints name both the path and the models.

🤖 AI disclosure: Wolfstar Agent Kit modified this description. AI open source policy.

Repository fields in Settings now offer the repositories the GitHub App
sees, from a new private /api/installed-repositories route. The tag
input delete button no longer grows to a 44px square. Classification
accepts the Clef models, and a Cloudflare deployment with a Workers AI
login saves that token as a file the Token file field can point at.
@coldtea-pr-lens

coldtea-pr-lens Bot commented Oct 18, 2026 •

Copy link
Copy Markdown

Architecture

Architecture diagram for wolfstar-project/wolfstar-agent-kit at ead0a1c

Play the walkthrough


Data flow

Data flow diagram for wolfstar-project/wolfstar-agent-kit at ead0a1c

Follow each request

The other flows — 1 sequence

Loading installed repositories for settings

Sequence diagram of Loading installed repositories for settings in wolfstar-project/wolfstar-agent-kit

Review

✨ Nothing flagged · reviewed ead0a1c


Tip

Run npx @coldtea/pr-lens-cli analyze --base origin/main on a branch, then npx @coldtea/pr-lens-cli render .pr-lens/graph.json. Same lenses, your own model key, before the pull request exists

🪧 More tips
  • Run npx skills add coldteadotai/pr-lens, then tell your coding agent: "Diagram the change you just made with PR Lens and attach it to the pull request."
  • Click the link under each diagram to open it on a canvas you can zoom, pan and step through
  • The diagrams are links. Click one to open it on the canvas, then press W or click play to walk through the change
  • Open a diagram on the canvas, then press W or click play to walk through the change one step at a time
  • The CLI's render reads .github/pr-lens.yml and applies your renames, exclusions and lane pins at draw time
  • Set github.comment.collapsed: true in .github/pr-lens.yml to fold the comment behind one View architecture and data flow row. Drawing still runs as before
  • Set github.draw: on-demand in .github/pr-lens.yml and PR Lens stops drawing pull requests on its own. Comment @pr-lens draw on a pull request when you want that one drawn
  • Add .github/workflows/pr-lens.yml with coldteadotai/pr-lens/packages/action@v0 and your model provider's key as its api-key to run PR Lens from your own CI. Any /chat/completions endpoint works
  • After a push, tick Redraw to draw the latest commit
  • Switch GitHub to dark mode and the diagrams follow. The moving dots are this pull request's data in motion

Thanks for using PR Lens! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out on X, Bluesky, Mastodon, Reddit or LinkedIn

@RedStar071
RedStar071 merged commit 0393ad6 into main Oct 18, 2026
9 checks passed
@RedStar071
RedStar071 deleted the redstar071/dashboard-repo-selection-and-ui-bug branch October 18, 2026 19:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant