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 -- 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.