ignore settings, repo.deegree.org as plugin repo