Jeffrey Cafferata a38a01615e
Update GIT remote origin (#2520)
Changed the way the GIT remote URL is fetched from the config.
2021-04-22 19:14:09 +02:00
..