[01:11:39] <FONT COLOR="#008080">---</FONT> <font color="#616161">DominusExult is now known as Dominus</font><BR>
[18:13:26] * <font color="#600060">Dominus</font> is testing his buildbot mac mini...<BR>
[22:18:18] &lt;<font color="#0000C0">Epitrope</font>&gt; Dominus: you should let ptgeorge / lanicasf know that github support has an article about merging accounts: https://help.github.com/articles/merging-multiple-user-accounts/<BR>
[22:18:35] &lt;<font color="#0000C0">Epitrope</font>&gt; it looks like you just delete the account you don't want and add the email address to the account you do want<BR>
[22:19:34] &lt;<font color="#0000C0">Epitrope</font>&gt; and I've had excellent success asking for help; github support is really good in my experience: https://github.com/contact<BR>