No, RFC is for someone else (not a core dev) to mark your patch as correct. In general there's no formal way to get attention, although the 5-for-1 policy can largely guarantee that. Alternatively #django-dev on IRC can be a good place to get someone's attention. Some of us also monitor github PRs more than new patches attached to tickets so this may be an alternative. In the end it comes down to someone having the time and interest to look at the ticket.
To explain 5-for-1 if you're not aware of how it works, basically you triage/review 5 tickets and advance their state (Move to Accepted, RFC, Patch needs improvement etc) and in return a core dev will have a look at your issue. In the case of the ticket in question, as it was opened by a core dev it's quite likely they will be interested in the patch, it may just be a question of when they have the time to look at it. In particular we're in a release cycle at the moment, so 1.6 blockers may take more priority on people's time than minor features. Hope that helps, Marc On 6 June 2013 09:57, Jorge C. Leitão <[email protected]> wrote: > I've just submitted a patch (under username "littlepig", if possible I > would change it to "jorgecarleitao") to ticket > 20122<https://code.djangoproject.com/ticket/20122> but > I don't know what I have to do on the ticket in order to draw attention of > a developer (besides adding "has patch"). Am I suppose to use "ready for > check in" option? > > Cheers, > Jorge > > -- > You received this message because you are subscribed to the Google Groups > "Django developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/django-developers?hl=en > . > For more options, visit https://groups.google.com/groups/opt_out. > > > -- You received this message because you are subscribed to the Google Groups "Django developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/django-developers?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
