Fetch default yml files via different project instead of url (!432) · Merge requests · Core Modules / dune-grid

Merged René Heß requested to merge bugfix/change-include-for-ci into master Aug 11, 2020

This is a workaround for a bug that showed up after gitlab migration. See issue infrastructure/issues0#62 (closed) for further discussion.

Fetch default yml files via different project instead of url