Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 9f7323c

Browse files
authored
Add new PR option
1 parent 8ab7761 commit 9f7323c

File tree

1 file changed

+9
-2
lines changed

1 file changed

+9
-2
lines changed

docs/rfcs/004-issueish-list.md

Lines changed: 9 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -68,9 +68,17 @@ For a pull request, the issueish pane shows:
6868

6969
![detail](https://user-images.githubusercontent.com/378023/41097077-ba228d00-6a91-11e8-9445-a9557c03e6b6.png)
7070

71+
## New PR
72+
73+
If no current PR can be found, an "open new pull request" button is shown. If needed it also offers to "Publish" or "Push".
74+
75+
![new pr](https://user-images.githubusercontent.com/378023/41100932-9a3cd7be-6a9d-11e8-85c4-c995b71548c7.png)
76+
77+
When the current branch is the default branch, e.g. `master`, a message is shown that suggests to "Create a new branch".
78+
7179
## Drawbacks
7280

73-
This does not offer a mechanism to create _new_ pull requests, which we have now. We also lose timeline events on the pull request.
81+
None!
7482

7583
## Rationale and alternatives
7684

@@ -90,7 +98,6 @@ With that said, the choices for the specific lists we show are a bit arbitrary.
9098

9199
### Before RFC merge:
92100

93-
- [ ] How can we still offer "push/publish+new pull request"?
94101
- [ ] What else from the existing issueish pane should we keep? Comments, timeline events?
95102
- [ ] Are there other pull request actions it would be useful to support?
96103

0 commit comments

Comments
 (0)