Hello,
The import of issues is now completed, so ProofGeneral's issue tracker
https://github.com/ProofGeneral/PG/issues can be used again.
FYI the script that has been used in the migration is available online
at https://github.com/erikmd/github-issues-import-api-tools
Have a nice week-end.
Best
Dear ProofGeneral users and contributors,
This is the final step of issues migration, so FYI access to
https://github.com/ProofGeneral/PG/issues will now be temporarily
restricted in order to facilitate issues import.
(The import itself should not be too long, I'll annouce when it will
be complet