Repository navigation

Show pull requests in the Graph - #90

Merged

danipen merged 10 commits into

mainfrom

graph-pull-requests

Sep 22, 2026

Commits on Sep 22, 2026

Read landed pull requests from history in the Graph layout

danipen
and
claude
committed
f83e446
Share the PR hovercard between the branch switcher and other features

danipen
and
claude
committed
c8ea2f2
Show pull requests on the Graph's branch labels

danipen
and
claude
committed
11f0436
Stop the Graph layout re-running every render before sync loads

danipen
and
claude
committed
96f841c
Badge the PR glyph on the current branch instead of insetting a chip

danipen
and
claude
committed
f41b418
Draw the Graph PR chip with the switcher badge's exact glyphs

danipen
and
claude
committed
2553464
Keep the current branch's PR chip inline, glyph in the pill's ink

danipen
and
claude
committed
4f262b8
Keep CI colors on the current branch's PR chip

danipen
and
claude
committed
1820de3
Mark draft PRs with GitHub's draft octicon

danipen
and
claude
committed
4415293
Mark the current branch with a home cap, tinted like every label

danipen
and
claude
committed
63bcfa1