sourceforge: set the protocol for origin urls
Closed
requested to merge generated-differential-D5817-source into generated-differential-D5817-target
- Jun 03, 2021
-
-
Raphaël Gomès authored
I previously forgot to add the `https://` prefix to the cloning URL. Whoops.
2e0c951b
-