Merge (GitHub bug that you can use two usernames for one account?)