From: Jean Privat <jean@pryen.org>
Date: Tue, 13 May 2014 18:47:04 +0000 (-0400)
Subject: github_merge: do not crash if a user has no public name
X-Git-Tag: v0.6.6~66^2~1
X-Git-Url: http://nitlanguage.org

github_merge: do not crash if a user has no public name

Signed-off-by: Jean Privat <jean@pryen.org>
---

diff --git a/contrib/github_merge.nit b/contrib/github_merge.nit
index 12cb829..2d8b039 100644
--- a/contrib/github_merge.nit
+++ b/contrib/github_merge.nit
@@ -58,6 +58,10 @@ redef class GithubCurl
 		var res = new Array[String]
 		for l in logins do
 			var u = get_and_check("https://api.github.com/users/{l}").json_as_map
+			if not u.has_key("name") then
+				print "No public name for user {l}"
+				continue
+			end
 			var r = "{u["name"]} <{u["email"]}>"
 			res.add r