Handle GitHub synchronization issues

[NicholasLYang]

Currently we use fields such as email and login to connect our user to GitHub. We need to be careful about this, as users can change their email and login. Indeed it's quite possible that a user changes their login and then another user adopts that same login. We want to avoid having that second user accidentally getting the first user's data.