From f1b3dc82b1b95b8589cf492f3602f0080749924e Mon Sep 17 00:00:00 2001
From: Benedikt Peetz <benedikt.peetz@b-peetz.de>
Date: Tue, 9 Dec 2025 13:13:15 +0100
Subject: chore(rocie-client): Remove pointless `git_push.sh` script

I don't see, why this is part of the generated stuff.
---
 crates/rocie-client/.openapi-generator-ignore |  1 +
 crates/rocie-client/git_push.sh               | 57 ---------------------------
 2 files changed, 1 insertion(+), 57 deletions(-)
 delete mode 100644 crates/rocie-client/git_push.sh

(limited to 'crates')

diff --git a/crates/rocie-client/.openapi-generator-ignore b/crates/rocie-client/.openapi-generator-ignore
index 78cff62..ee17884 100644
--- a/crates/rocie-client/.openapi-generator-ignore
+++ b/crates/rocie-client/.openapi-generator-ignore
@@ -5,6 +5,7 @@
 # The patterns follow closely to .gitignore or .dockerignore.
 
 Cargo.toml
+git_push.sh
 
 src/lib.rs
 src/implies.rs
diff --git a/crates/rocie-client/git_push.sh b/crates/rocie-client/git_push.sh
deleted file mode 100644
index f53a75d..0000000
--- a/crates/rocie-client/git_push.sh
+++ /dev/null
@@ -1,57 +0,0 @@
-#!/bin/sh
-# ref: https://help.github.com/articles/adding-an-existing-project-to-github-using-the-command-line/
-#
-# Usage example: /bin/sh ./git_push.sh wing328 openapi-petstore-perl "minor update" "gitlab.com"
-
-git_user_id=$1
-git_repo_id=$2
-release_note=$3
-git_host=$4
-
-if [ "$git_host" = "" ]; then
-    git_host="github.com"
-    echo "[INFO] No command line input provided. Set \$git_host to $git_host"
-fi
-
-if [ "$git_user_id" = "" ]; then
-    git_user_id="GIT_USER_ID"
-    echo "[INFO] No command line input provided. Set \$git_user_id to $git_user_id"
-fi
-
-if [ "$git_repo_id" = "" ]; then
-    git_repo_id="GIT_REPO_ID"
-    echo "[INFO] No command line input provided. Set \$git_repo_id to $git_repo_id"
-fi
-
-if [ "$release_note" = "" ]; then
-    release_note="Minor update"
-    echo "[INFO] No command line input provided. Set \$release_note to $release_note"
-fi
-
-# Initialize the local directory as a Git repository
-git init
-
-# Adds the files in the local repository and stages them for commit.
-git add .
-
-# Commits the tracked changes and prepares them to be pushed to a remote repository.
-git commit -m "$release_note"
-
-# Sets the new remote
-git_remote=$(git remote)
-if [ "$git_remote" = "" ]; then # git remote not defined
-
-    if [ "$GIT_TOKEN" = "" ]; then
-        echo "[INFO] \$GIT_TOKEN (environment variable) is not set. Using the git credential in your environment."
-        git remote add origin https://${git_host}/${git_user_id}/${git_repo_id}.git
-    else
-        git remote add origin https://${git_user_id}:"${GIT_TOKEN}"@${git_host}/${git_user_id}/${git_repo_id}.git
-    fi
-
-fi
-
-git pull origin master
-
-# Pushes (Forces) the changes in the local repository up to the remote repository
-echo "Git pushing to https://${git_host}/${git_user_id}/${git_repo_id}.git"
-git push origin master 2>&1 | grep -v 'To https'
-- 
cgit 1.4.1