...

tools/git_push.sh

@@ -0,0 +1,14 @@
+#!/bin/bash
+
+# checkout.sh - Git repository checkout/update script
+# Clones or updates the itenv_web2 repository
+    
+set -euo pipefail  # Exit on error, undefined vars, pipe failures
+
+# Jump to script directory
+SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
+cd "$SCRIPT_DIR"
+
+cd ..
+
+git add . -A && git commit -m "init" && git push