Make sure an updated git URL is used

diff --git a/vcs.py b/vcs.py
index f40c6e9c4e8915b7549668e49cbf9e9ced0c6346..e30d31a9cb4d24e02483ea0cd261ae7eb4544267 100644 (file)
--- a/vcs.py
+++ b/vcs.py
@@ -24,6 +24,7 @@ class Git:
                        # load existing repo
                        repo = git.Repo(self.folder)
                        origin = repo.remotes.origin
+                       origin.config_writer.set_value("url", self.url) # make sure we use the current URL
                else:
                        # create a new one
                        os.makedirs(self.folder)