Skip to content

Really report repository ids

Jö Fahlke requested to merge really-report-repo-ids into master

And make the script for that available.

Closes: #11 (closed)

Merge request reports