Skip to content

Remove references to github repo

Tobias Leibner requested to merge prefer_zivgitlab_repo into master

This MR replaces most references to the github repo by references to the zivgitlab repo. Most changes are simply application of the pylicense script. In addition, this changes the contact mail address to dune-xt@dune-community.ovh.

Merge request reports