Export repository url

Closes #824 (closed)

assigned to @manonBlanco

added 1 deleted label

added 3 commits

• 64257f0f...9703c7ad - 2 commits from branch master
• 0bc78c74 - Export repository url

Compare with previous version

requested review from @erwanrouchet

approved this merge request

mentioned in commit d0ed4745

merged