From 124e396aa946cef4acccd9cb0d396cfbdc4a99ac Mon Sep 17 00:00:00 2001 From: Christoffer Date: Fri, 4 Jan 2019 10:16:37 +0000 Subject: [PATCH] update.sh: update 'git push remote' commands to cover both local and sub-repo roa --- update.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/update.sh b/update.sh index d1feb7d..6164211 100755 --- a/update.sh +++ b/update.sh @@ -44,5 +44,8 @@ $(git -C ../registry/ log -n 1) git -C roa/ add roa/* 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