Skip to content

Add PR card UI with mock data#4087

Open
lucaslyl wants to merge 5 commits intomainfrom
CS-10224-pr-card
Open

Add PR card UI with mock data#4087
lucaslyl wants to merge 5 commits intomainfrom
CS-10224-pr-card

Conversation

@lucaslyl
Copy link
Contributor

@lucaslyl lucaslyl commented Feb 28, 2026

Summary

  • Blocked by Cs 10217 trigger command on webhook event #4074 (real PR data integration). Creating this PR card ahead of time with mock data so the UI can be reviewed and iterated on independently.
  • Adds a PrCard card type with isolated and fitted templates, styled using a github-pr-brand-guide.json Theme card.

What's Included

  • pr-card.gts: PrCard card definition with fields (prTitle, prNumber, prUrl, submittedBy, submittedAt, listing)
  • github-pr-brand-guide.json: GitHub-themed color palette as a Boxel Theme card
  • Sample instance JSON wired to a demo owner

Demo:

Isolated:
image

Fitted:
image

@lucaslyl lucaslyl self-assigned this Feb 28, 2026
@lucaslyl lucaslyl requested a review from a team February 28, 2026 12:35
@github-actions
Copy link

Host Test Results

    1 files  ±0      1 suites  ±0   1h 53m 25s ⏱️ + 1m 1s
1 915 tests ±0  1 900 ✅ +1  15 💤 ±0  0 ❌ ±0 
1 930 runs  ±0  1 915 ✅ +2  15 💤 ±0  0 ❌  - 1 

Results for commit d850a5d. ± Comparison against base commit 079e239.

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