No objection!
Pierre

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
> trac.
>
> 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 <ProofGeneral-devel@inf.ed.ac.uk>
> http://lists.inf.ed.ac.uk/**mailman/listinfo/proofgeneral-**devel<http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel>
>
> --
> The University of Edinburgh is a charitable body, registered in
> Scotland, with registration number SC005336.
>
>
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to