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 regards, Erik, for the PG dev team Le samedi 3 mars 2018 à 00:15 +0100, Erik Martin-Dorel a écrit : > 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 completed.) > > Best regards, > > Erik, for the PG dev team > > Le jeudi 1 mars 2018 à 01:08 +0100, Erik Martin-Dorel a écrit : > > Dear ProofGeneral users and contributors, > > > > Just a quick note regarding the PG/xml implementation by Paul Steckler > > for async Coq proofs (that was gathered up to now in his GitHub fork): > > the new code has been recently integrated in the "async" branch of the > > main PG repo https://github.com/ProofGeneral/PG > > > > and the migration of issues from one repo to the other is on-going. > > > > More specifically: all issues in Paul's fork (both open and closed) > > have been exported and hidden; they will be soon imported in the main > > repo https://github.com/ProofGeneral/PG/issues which will thus become > > the single entry point for reporting issues. > > > > (A further announcement will follow when PG 5.0-beta will be released) > > > > Best regards, > > > > Erik, for the PG dev team -- Érik Martin-Dorel Maître de Conférences, Lab. IRIT, Univ. Toulouse 3 erik.martin-do...@irit.fr https://www.irit.fr/~Erik.Martin-Dorel _______________________________________________ ProofGeneral-devel mailing list ProofGeneralfirstname.lastname@example.org http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel