Skip to content

Wrong git repo badge in documentation

Yoann Schneider requested to merge fix-gl-badge into master

image in the pages footer is wrong since our repo is a GitLab repo.

Merge request reports