From 397b94a593f720b360659b1863c70745172d7204 Mon Sep 17 00:00:00 2001 From: Richard Maw Date: Thu, 24 May 2012 12:07:25 +0100 Subject: 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. --- lorry | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'lorry') 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']: -- cgit v1.2.1