Merge: githubmerge: make public name/email access of users more robust.
authorJean Privat <jean@pryen.org>
Mon, 31 Aug 2015 15:21:48 +0000 (11:21 -0400)
committerJean Privat <jean@pryen.org>
Mon, 31 Aug 2015 15:21:48 +0000 (11:21 -0400)
Recent changes in github API or in the @jpages account broke the script.

Pull-Request: #1673
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>


Trivial merge