Apparently, github switched to a json based interface at some point.
Fortunately, all the fields seem to have the same names, so this
was a very simple fix.