This hides by default the extra git repos (docs, issues, etc) from the dropdown for viewing the clone URLs. A simple link is added at the bottom of the dropdown to show the extra URLs
Fixes: #4078
rebased onto b67416689f9f985d4903e327b01ade5d6d4e0b64
Tested locally and works as expected, thanks for this! :)
:thumbsup:
Pull-Request has been merged by pingou
This hides by default the extra git repos (docs, issues, etc)
from the dropdown for viewing the clone URLs. A simple link
is added at the bottom of the dropdown to show the extra URLs
Fixes: #4078