Apparently GitHub ids are integers, not strings.