dolthub / dolthub/dolthub-issues
Pushing to master may not update commits on PR
Open
bug
dolthubapi
- Dominant language
- No language data
- Stars
- 5
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
The PR in question: https://www.dolthub.com/repositories/dolthub/national-course-catalog-us/pulls/63
They made changes to master, opened a PR. I requested changes, and when they pushed to master again their changes did not show up in the PR but were present on their master branch
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.