Stephan,
Thank you.
> Note that openbsd's github conversion is not considered stable yet.
I was using github.com because it is (ahem) more palatable. :-)
So, it should be a hit with students.
> Which means all commit hashes could change at any time. Regardless
> of the crypto export issue, I would not rely on it for very important
> tasks until it is declared stable.
Okay. I fine with that.
> If you really want it in git format without legal trouble, you could
> create your own git conversion with e.g. git-cvs ('pkg_add git-cvs').
Thanks very much. I was trying to get in touch with Bob Beck to figure
this out.
Regards,
Dinsh