commit 0360c020ec32ada6617c05e9dfc687bbc38df586
author micky387 <mickaelsaibi@free.fr> Fri Dec 08 15:41:58 2023 +0100
committer micky387 <mickaelsaibi@free.fr> Fri Dec 08 15:41:58 2023 +0100
tree 817e1d022f30e86bfab1d376f20456742bf95db6
parent 04057d3e3654691f7b20502a724288bbba1a630c

omni: Add skip-validation to our aosp-push-merge script

Change-Id: If6fcbd0888ad7f87eda025bd59ff524d6114dcdd

utils/aosp-push-merge.sh

diff --git a/utils/aosp-push-merge.sh b/utils/aosp-push-merge.sh
index e94a223..5a1f47d 100755
--- a/utils/aosp-push-merge.sh
+++ b/utils/aosp-push-merge.sh
@@ -47,11 +47,11 @@
     echo " Pushing..."
 
     if [[ "${OPERATION}" == "github" ]]; then
-        echo " git push --no-thin ssh://${username}@${url}:${port}/${project} HEAD:refs/heads/${branch}"
-        git push --no-thin ssh://${username}@${url}:${port}/${project} HEAD:refs/heads/${branch}
+        echo " git push --no-thin -o skip-validation ssh://${username}@${url}:${port}/${project} HEAD:refs/heads/${branch}"
+        git push --no-thin -o skip-validation ssh://${username}@${url}:${port}/${project} HEAD:refs/heads/${branch}
     elif [[ "${OPERATION}" == "gerrit" ]]; then
-        echo " git push --no-thin ssh://${username}@${url}:${port}/${project} HEAD:refs/for/${branch}%topic=${topicname}"
-        git push --no-thin ssh://${username}@${url}:${port}/${project} HEAD:refs/for/${branch}%topic=${topicname}
+        echo " git push --no-thin -o skip-validation ssh://${username}@${url}:${port}/${project} HEAD:refs/for/${branch}%topic=${topicname}"
+        git push --no-thin -o skip-validation ssh://${username}@${url}:${port}/${project} HEAD:refs/for/${branch}%topic=${topicname}
     fi
     echo ""