guyzmo/git-repo

Ability to assign pull request to a github user

Open

#64 ouverte le 4 nov. 2016

Voir sur GitHub
 (2 commentaires) (0 réactions) (0 assignés)Python (86 forks)batch import
backlogenhancementgood first issuehelp wanted

Métriques du dépôt

Stars
 (837 stars)
Métriques de merge PR
 (Aucune PR mergée en 30 j)

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.

Guide contributeur