On Sun, Dec 16, 2012 at 6:56 PM, Dave Abrahams <dave@boostpro.com> wrote:
on Sun Dec 16 2012, Rene Rivera <grafikrobot-AT-gmail.com> wrote:
On Sun, Dec 16, 2012 at 9:56 AM, Dave Abrahams <dave@boostpro.com> wrote:
on Sat Dec 15 2012, Rene Rivera <grafikrobot-AT-gmail.com> wrote:
There is a fine distinction as people can have an entirely different email attached to their github account that what they have in the current library maintenance records.
Yes, and they can attach multiple emails to their github account IIRC.
Ah. That I did not know. So developers just have to make sure the git email we use is on file, got it. -- -- -- Grafik - Don't Assume Anything -- Redshift Software, Inc. - http://redshift-software.com -- rrivera/acm.org - grafik/redshift-software.com -- 102708583/icq - grafikrobot/aim - grafikrobot/yahoo