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 github+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/github?hl=en.