githubmerge: make public name/email access of users more robust.
authorJean Privat <jean@pryen.org>
Fri, 28 Aug 2015 20:45:12 +0000 (16:45 -0400)
committerJean Privat <jean@pryen.org>
Fri, 28 Aug 2015 20:45:12 +0000 (16:45 -0400)
commit6db5f642cd4dfdb0ceb55a48fa4e636752272546
tree8f3b3161efe101b9ef4171d349cd7bf7b9811eaf
parent1d16c38117990885067f11228bf41ce0a0c7c614
githubmerge: make public name/email access of users more robust.

Recent changes in github API or in the @jpages account broke the script.

Signed-off-by: Jean Privat <jean@pryen.org>
contrib/github_merge.nit