dolthub / dolthub/dolthub-issues
Update Pull Requests as 'Merged' on DoltHub on Dolt push
Open
bug
dolthubapi
- Dominant language
- No language data
- Stars
- 5
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
When the base branch of an open pull request is pushed, we need to check if the base branch is up to date with the target toBranch. If it is, update the PR as merged.
Example:
`PR dolthub/ld#1 wants to merge A into B`
`User merges A into B on CLI, and pushes B`
`PR dolthub/ld#1 should be updated to MERGED.`
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.