Set push url for repos fetched with --depth option

diff --git a/builder.sh b/builder.sh
index b275d3bdbb3bb8c65566d55d7717df996d2f9ba1..c396f394ec892b926cb49239d4af6fa22f76ac3a 100755 (executable)
--- a/builder.sh
+++ b/builder.sh
@@ -882,6 +882,7 @@ get_spec() {
                                git init
                                git remote add $REMOTE_PLD ${GIT_SERVER}/${PACKAGES_DIR}/${ASSUMED_NAME}.git
                                git config --local --add "remote.$REMOTE_PLD.fetch"  'refs/notes/*:refs/notes/*'
+                               git remote set-url --push  $REMOTE_PLD ssh://${GIT_PUSH}/${PACKAGES_DIR}/${ASSUMED_NAME}
                                CVSTAG=${CVSTAG:-"master"}
                        fi
                        local refs=''