Hi, "(NOTE: OpenBSD can not be re-exported from the US once it has entered the US. Because of this, take care NOT to get the distribution from a mirror server in the US if you are outside of Canada and the US.)"
I am not in US/Canada. So is it okay to get OpenBSD source from GitHub? git clone https://github.com/openbsd/src.git github.com servers are in USA. Thanks. Dinesh