lorry: push to url specified in lorry config

Rather than pushing to the remote 'gitorious', it is better to push
to the remote specified in lorry's config, since it may have changed
since the repository was originally mirrored, so the remote in
git's config may be out of date.

This may make the setting of the 'gitirous' remote obsolete now.

Note that the semantic difference between pushing to a remote and
pushing to a url isn't triggered because we always pass refspecs.

1 files changed, 5 insertions, 2 deletions

diff --git a/lorry b/lorry
index cfd3670..4c31af0 100755
--- a/lorry
+++ b/lorry
@@ -414,8 +414,11 @@ class Lorry(cliapp.Application):
     def push_to_mirror_server(self, gitdir, pushrefspecs=[
                                               'refs/heads/*:refs/heads/*',
                                               'refs/tags/*:refs/tags/*']):
-        self.progress('.. pushing to mirror server')
-        self.run_program(['git', 'push', 'gitorious']+pushrefspecs, cwd=gitdir)
+        self.progress('.. pushing to mirror server %s' %
+                      self.settings['mirror-base-url-push'])
+        self.run_program(['git', 'push',
+                          self.settings['mirror-base-url-push']]+pushrefspecs,
+                         cwd=gitdir)
 
     def run_program(self, argv, **kwargs):
         if self.settings['command-stdout']: