update.sh: update 'git push remote' commands to cover both local and sub-repo roa
This commit is contained in:
parent
a2033470f8
commit
124e396aa9
|
@ -44,5 +44,8 @@ $(git -C ../registry/ log -n 1)
|
||||||
git -C roa/ add roa/*
|
git -C roa/ add roa/*
|
||||||
git -C roa/ commit roa/* -m "Updated ROA files - $ISO_DATE" --quiet
|
git -C roa/ commit roa/* -m "Updated ROA files - $ISO_DATE" --quiet
|
||||||
|
|
||||||
# Push repository to every remote configured
|
# Push ROA repository to every remote configured
|
||||||
|
for REMOTE in $(git -C roa/ remote | egrep -v upstream | paste -sd " " -) ; do git -C roa/ push $REMOTE master:master --quiet ; done
|
||||||
|
|
||||||
|
# Push local roagen repository to every remote configured
|
||||||
for REMOTE in $(git remote | egrep -v upstream | paste -sd " " -) ; do git push $REMOTE master:master --quiet ; done
|
for REMOTE in $(git remote | egrep -v upstream | paste -sd " " -) ; do git push $REMOTE master:master --quiet ; done
|
||||||
|
|
Loading…
Reference in a new issue