backlogenhancementgood first issuehelp wanted
Métricas do repositório
- Stars
- (837 stars)
- Métricas de merge de PR
- (Nenhuma PRs mesclada em 30d)
Description
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.