CodeIssuesPull RequestsActionsSecurityInsights
✨ AI
More
Settings

feat(pr-ledger): direct-push merges flip PRs to merged; API close endpoint #5508

Merged⚡ AI-generatedXSccantynz wants to mergepr-ledger-truthmainopened 11d ago
No commits between main and pr-ledger-truth.
c comment · e edit title · m merge · a approve · r request changes · ? shortcuts