2013/7/4 David Aspinall <david.aspin...@ed.ac.uk>
> Dear PG Devs,
> Some time ago I mooted moving from our clunky University-hosted CVS+trac
> to Github. I think it would allow people to more easily make modifications
> and propose small patches. And it looks as if the Github issue tracking
> system is now reasonable enough to use that we can move things over from
> Last time I suggested making a license change as well, this time I'm not
> suggesting that.
> Any objections to doing this? The plan would be to make a release of
> version 4.3 first, then embark on a move and clean up.
> Best wishes,
> - David
> ProofGeneral-devel mailing list
> proofgeneral-de...@inf.ed.ac.**uk <ProofGeneralfirstname.lastname@example.org>
> The University of Edinburgh is a charitable body, registered in
> Scotland, with registration number SC005336.
ProofGeneral-devel mailing list