dolthub / dolthub/dolthub-issues
Force push not updating PR
Open
bug
dolthubapi
- Dominant language
- No language data
- Stars
- 5
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
To repro:
1. Create PR
2. Update PR with changes
3. Force push
4. New changes not reflected in PR
For example:
https://www.dolthub.com/repositories/dolthub/SHAQ/pulls/63/compare
https://www.dolthub.com/repositories/xrendan/SHAQ/data/leagues-fixed/leagues
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.