Skip to content
This repository has been archived by the owner on Dec 15, 2022. It is now read-only.

"Create pull request" option #911

Closed
surdu opened this issue Jun 8, 2017 · 1 comment
Closed

"Create pull request" option #911

surdu opened this issue Jun 8, 2017 · 1 comment
Labels
enhancement

Comments

@surdu
Copy link

surdu commented Jun 8, 2017

I believe this would make a nice addition to the GitHub tab: have an option in there to create a pull request if no PRs could be found for the current branch.
@surdu surdu changed the title Create pull request option "Create pull request" option Jun 8, 2017
@wivern-co-uk
Copy link

Somehow development is stuck at #1138

@smashwilson smashwilson mentioned this issue Apr 3, 2018
Merged
6 tasks
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@rsese @wivern-co-uk @surdu