Disable old repository on http://users.dune-project.org
Until today the homepage linked to the old repository on http://users.dune-project.org. I just fixed this. However, people can still find the old repository. E.g. its the first hit when searching with with google.
To avoid that people get the outdated code, it's probably the best to disbale or delete the old repository.