dolthub / dolthub/dolthub-issues
Can't create pull request from branch that has existing closed pull request
Open
bug
- Dominant language
- No language data
- Stars
- 5
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
We prevent creating pull requests from any branch that has had a pull request. A user ran into an issue where they:
1. Created new branch abc
2. Created a pull request using abc
3. Closed pull request abc
4. Pushed a new branch again as abc
5. Not able to create new pull request
We should probably allow creating a pull request if a branch has had a previous PR and the PR was closed?
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.