dolthub / dolthub/dolthub-issues
DolthubPR: Open closed PR's
Open
dolthubapi
enhancement
- Dominant language
- No language data
- Stars
- 5
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
I'm thinking we will need a `Re-open pull request` button eventually.
Can't re-open if:
* Branch no longer exists
* Branch has been merged
* Caller not a repo writer or admin
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.