Packages from the main repo are automatically merged from time to time. You only need to manually create al pull requests, if a package requires special instructions or patching on windows.
If someone is impatient, he can always add the main repo to the preconfigured one (see opam repo --help for details).
Sorry about that, I did not realized that 0.2.0 was actually merged after 0.3.0 so I thought that this repo will remain missing it if not added manually...
Packages from the main repo are automatically merged from time to time. You only need to manually create al pull requests, if a package requires special instructions or patching on windows.
If someone is impatient, he can always add the main repo to the preconfigured one (see
opam repo --help
for details).