backlogenhancementgood first issuehelp wanted
Repository metrics
- Stars
- (837 stars)
- PR merge metrics
- (30d に merged PR はありません)
説明
My usual workflow when creating a pull request is to assign it to a collaborator. Right now, using git hub request create doesn't save me much time because I still have to open up github.com to assign the PR. It would be great if I could pass an -a <username> parameter to git hub request create to automatically assign the PR when it's created.