dont push to origin

Author: 0marperez

.github/scripts/merge-main.sh

@@ -72,7 +72,7 @@ function merge_main() {
     git merge -m "misc: merge from main" main
     if [ $? -eq 0 ]; then
       echo "...pushing to origin"
-      git push origin "$branch"
+#      git push origin "$branch"
     else
       echo "...merge failed"
       git merge --abort