Hi, thanks a lot for taking the initiative!
Clément Pit--Claudel <[email protected]> writes: > changes (we would need to migrate once and for all). I haven't contributed for a while and I am unsure if I will find time in the future, therefore I don't know if I am eligible to take part in the discussion. However, if I were, I would suggest to give everybody a last chance to commit to cvs until, say, May 11 and move then everything to git and take the cvs repo offline. In the unlikely case that David is not participating in this discussion (and that we therefore cannot take CVS offline), I suggest that we try to reach an agreement among the contributors of the last 2 years. And then somebody with write permission makes a last CVS commit to delete all the files there, except for a README pointing to the git repo. > would be nice to map CVS usernames to proper names and emails; the Some email addresses are in Makefile.devel in the DEVELOPERS variable. weber is Tjark Weber <[email protected]>, I believe. > It would be great to get feedback on the history as recorded in I would suggest to move to git even if the history is completely broken, therefore I won't check it. Bye, Hendrik This email and any attachments thereto may contain private, confidential, and/or privileged material for the sole use of the intended recipient. Any review, copying, or distribution of this email (or any attachments thereto) by others is strictly prohibited. If you are not the intended recipient, please contact the sender immediately and permanently delete the original and any copies of this email and any attachments thereto. _______________________________________________ ProofGeneral-devel mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
