Skip to content

Merge to develop

Nicola Jordan requested to merge combine_repos into develop

Created by: hixi

This pull request replaces #405

Acknowledged by:

  • @das-g
  • @beneditatan

It features:

  • combination of repositories
  • Polygon cut-outs
  • world-database cut-outs instead of using the PBF
  • boundaries

This will be the basis for an upcoming release.

Merge request reports