Update OK repo to read https:// instead of git://