On Mar 12, 7:16 pm, John Collins <jcoll...@cs.umn.edu> wrote:
> 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 -
> John

Thanks guys for your quick answers.

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