github style update branch. When a PR is behind and the merge is clean, you can merge the target tip into the source branch from the PR page
last month
11 files changed
- apps/web/app/[username]/[repository]/pulls/[number]/actions.ts+71−0
- apps/web/app/[username]/[repository]/pulls/[number]/pull-request-detail.tsx+9−0
- apps/web/app/[username]/[repository]/pulls/[number]/pull-request-merge-box.tsx+77−10
- apps/web/app/[username]/[repository]/pulls/[number]/pull-request-sidebar.tsx+17−3
- apps/web/lib/git/git-command.ts+84−11
- apps/web/lib/github/sync/enqueue.ts+24−0
- apps/web/lib/pull-requests/merge-tree.test.ts+85−0
- apps/web/lib/pull-requests/merge-tree.ts+80−0
- apps/web/lib/pull-requests/pr-mergeability-indexer.ts+10−1
- apps/web/lib/pull-requests/update-pull-request-branch.test.ts+233−0
- apps/web/lib/pull-requests/update-pull-request-branch.ts+228−0
