Before creating the distributed package, the worlds containing URLs in webots:// format should be converted to raw.githubusercontent.com/ format. This PR adds the corresponding script which should be executed before the creation of the release.
I will update the wiki page once the PR is merged.
Before creating the distributed package, the worlds containing URLs in
webots://format should be converted toraw.githubusercontent.com/format. This PR adds the corresponding script which should be executed before the creation of the release.I will update the wiki page once the PR is merged.