reporting: allow recording links to GitHub issues #27
Description
when an unreproducibility is already tracked in GitHub
probably MVP just a database table with a regex to match against the derivation path
{{ message }}
when an unreproducibility is already tracked in GitHub
probably MVP just a database table with a regex to match against the derivation path