Rename creds key email -> public_email

Partial revert of 64b65ca where this was broken, causing a name
collision in the creds extra association list.
This commit is contained in:
Jezen Thomas 2016-07-06 21:01:15 +02:00 committed by patrick brisbin
parent c514df2c39
commit 327a85fd95
No known key found for this signature in database
GPG Key ID: ADB6812F871D4478

View File

@ -107,7 +107,7 @@ toCreds user userMails token = Creds
, ("access_token", decodeUtf8 $ accessToken token)
]
++ maybeExtra "name" (githubUserName user)
++ maybeExtra "email" (githubUserPublicEmail user)
++ maybeExtra "public_email" (githubUserPublicEmail user)
++ maybeExtra "location" (githubUserLocation user)
}