guyzmo/git-repo

Ability to assign pull request to a github user

Open

#64 geöffnet am 4. Nov. 2016

Auf GitHub ansehen
 (2 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Python (86 Forks)batch import
backlogenhancementgood first issuehelp wanted

Repository-Metriken

Stars
 (837 Stars)
PR-Merge-Metriken
 (Keine gemergten PRs in 30 T)

Beschreibung

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.

Contributor Guide