Infrastructure/mirror_from_pagure
3
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

When pushing to other remotes, ignore 'origin'

Browse source 
Since we just fetched from 'origin' there is no point trying to
push again there.

Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>
This commit is contained in:
Pierre-Yves Chibon 2020-05-03 21:33:30 +02:00
parent 3951266e79
commit a7e5367dcd
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
mirror_from_pagure_bus.py
View file

@ -116,6 +116,8 @@ class MirrorFromPagure(object):
output = run_command(cmd, cwd=dest_folder).decode("utf-8").strip() output = run_command(cmd, cwd=dest_folder).decode("utf-8").strip()
if output: if output:
for remote in output.split("\n"): for remote in output.split("\n"):
if remote == "origin":
continue
_log.info(" Running git push --mirror against %s", remote) _log.info(" Running git push --mirror against %s", remote)
cmd = ["git", "push", "--mirror", remote] cmd = ["git", "push", "--mirror", remote]
run_command(cmd, cwd=dest_folder) run_command(cmd, cwd=dest_folder)