Skip to content

chore: bump objectui to 672f18e38121 — Access-pillar effective holders + explain picker chevron#2794

Merged
os-zhuang merged 1 commit into
mainfrom
chore/bump-objectui-672f18e
Jul 10, 2026
Merged

chore: bump objectui to 672f18e38121 — Access-pillar effective holders + explain picker chevron#2794
os-zhuang merged 1 commit into
mainfrom
chore/bump-objectui-672f18e

Conversation

@os-zhuang

Copy link
Copy Markdown
Contributor

Pulls objectstack-ai/objectui#2383 into the vendored console pin:

  • 已分配用户 lists effective holders — direct grants ∪ holders of every bound position, with 直授/经岗位 badges; everyone-anchor bindings render as a note (objectui#2382).
  • Explain panel user-picker chevron — the pick-another-user affordance is discoverable (objectui#2381).

Both were browser-verified end-to-end against a live backend before the objectui merge (see #2383's verification section).

🤖 Generated with Claude Code

Pulls the Access-pillar effective-holders list (direct grants ∪
position-held users with via badges, everyone-anchor note; objectui#2382)
and the explain-panel user-picker chevron (objectui#2381) into the
vendored console.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@vercel

vercel Bot commented Jul 10, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
spec Ready Ready Preview, Comment Jul 10, 2026 2:33pm

Request Review

@os-zhuang
os-zhuang merged commit 8ab6ac0 into main Jul 10, 2026
15 checks passed
@os-zhuang
os-zhuang deleted the chore/bump-objectui-672f18e branch July 10, 2026 14:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant