Fix an issue when merging the reset-github-tokens code.

This was still using simplejson, and should have been converted to json.