Merge branch 'prometheus_repo_exporter' into 'master'

Prometheus repo exporter

See merge request !314
2 jobs for master in 51 seconds (queued for 3 seconds)