guyzmo/git-repo

Ability to assign pull request to a github user

Aberta

#64 aberto em 4 de nov. de 2016

 (2 comentários) (0 reação) (0 responsável)Python (91 forks)batch import
backlogenhancementgood first issuehelp wanted

Métricas do repositório

Stars
 (854 estrelas)
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