guyzmo/git-repo

Ability to assign pull request to a github user

Aperta

#64 aperta il 4 nov 2016

 (2 commenti) (0 reazioni) (0 assegnatari)Python (91 fork)batch import
backlogenhancementgood first issuehelp wanted

Metriche repository

Star
 (854 stelle)
Metriche merge PR
 (Nessuna PR mergiata in 30 g)

Descrizione

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.

Guida contributor