My understanding was that it could be fixed after import if the user adds that email to their account. But let's just canonicalize those four users on their know GitHub emails.
Raoul, David, Jason, Sachin, can you tell us which emails you have on your GitHub account and which one(s) you have on Google Code? Aaron Meurer On Tue, Mar 4, 2014 at 12:31 PM, Sergey B Kirpichev <skirpic...@gmail.com> wrote: > On Tue, Mar 04, 2014 at 10:59:40AM -0600, Aaron Meurer wrote: >> I agree. Unless there are known major issues, we should do the final >> import. Let me know when you want me to freeze the Google Code issues. > > I think, it's important to fix contacts first. Wery unlikely > if we can do this after import. > >> >> BTW, there is no references in the imported issues to >> >> these people from the team: >> >> https://github.com/tjl >> >> https://github.com/moorepants >> >> https://github.com/lidavidm >> >> https://github.com/raoulb >> >> https://github.com/srjoglekar246 >> >> Perhaps, their contacts differs for googlecode and github. > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sympy+unsubscr...@googlegroups.com. > To post to this group, send email to sympy@googlegroups.com. > Visit this group at http://groups.google.com/group/sympy. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/20140304183106.GA13901%40darkstar.order.hcn-strela.ru. > For more options, visit https://groups.google.com/groups/opt_out. -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAKgW%3D6JmH4W4-zm1YYkhniZBMm8jbgnYdGcUw5OFeiqi3bEQog%40mail.gmail.com. For more options, visit https://groups.google.com/groups/opt_out.
