Added a fix for Github users who don't have a public email: we create a random email address for them; anyone can login via their github accounts now