gregoirew 13261b52db Use the github /user/emails api endpoint if the github user did not set any public email. ... Github can send a null email on the user info endpoint if there is no public email on the user profile. This commit look for email on the /user/emails endpoint, selecting the primary email.		2018-01-25 20:56:24 +01:00
..
src	Use the github /user/emails api endpoint if the github user did not set any public email.	2018-01-25 20:56:24 +01:00
pom.xml	Bump version to 4.0.0.CR1-SNAPSHOT	2017-12-21 15:06:00 +01:00