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