This repo gathers a python3 script json2github.py, that aims at importing GitHub issues from one repo to another, using the new GitHub Issues Import API.
It should be noted that all imported issues and comments will be associated with the GitHub account that owns the specified access token.
See the comments at the beginning of the script for more details on
the procedure. Also, you might want to review the lines marked with a
FIXME/WARN comment.
This script is distributed under the Apache 2.0 License.
It was written by Erik Martin-Dorel for importing issues in ProofGeneral's repo.
It has been developed by reusing code from the following tools: