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
Have a nice week-end.
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
Maître de Conférences, Lab. IRIT, Univ. Toulouse 3
ProofGeneral mailing list