guyzmo/git-repo

Ability to assign pull request to a github user

Open

#64 aberto em 4 de nov. de 2016

Ver no GitHub
 (2 comments) (0 reactions) (0 assignees)Python (86 forks)batch import
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.

Guia do colaborador