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
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.