On 03/12/2011 04:02 PM, Mariano Mara wrote:
I have a private repo where two devs have push&pull access. I created
an issue and I want to assign it to a specific dev. However, I'm
unable to find how to do it. How can I do it?

Create labels for them. Apply the labels. If you want all the "assignment" labels to appear together, use a prefix (@#% etc). We use color codes to separate assignment labels from severity labels from affected-component labels etc.

Cheers -


You received this message because you are subscribed to the Google Groups 
"GitHub" group.
To post to this group, send email to github@googlegroups.com.
To unsubscribe from this group, send email to 
For more options, visit this group at 

Reply via email to