Really report repository ids

Jö Fahlkerequested to merge
really-report-repo-ids into master

And make the script for that available.

Closes: #11 (closed)

Merge request reports