Repository navigation
Show merged PR status in thread sidebar when no open PR exists - #53
Closed
juliusmarminge wants to merge 7 commits into
Closed
juliusmarminge wants to merge 7 commits into
juliusmarminge wants to merge 7 commits into
Commits
Commits on Feb 15, 2026
Commits on Feb 16, 2026
Commits on Feb 20, 2026
- andcommitted
Commits on Feb 28, 2026