From 6c85e8a2b557ad3b6e03a88ee6e7ed5da42a0db3 Mon Sep 17 00:00:00 2001
From: Michele Carraglia <michele.carraglia@cnr.it>
Date: Wed, 5 Nov 2025 10:58:00 +0100
Subject: [PATCH] =?UTF-8?q?questo=20=C3=A8=20un=20commit=20di=20prova?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 push_workbench.bat | 44 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)
 create mode 100644 push_workbench.bat

diff --git a/push_workbench.bat b/push_workbench.bat
new file mode 100644
index 0000000..8899c54
--- /dev/null
+++ b/push_workbench.bat
@@ -0,0 +1,44 @@
+@echo off
+cd /d "%~dp0"
+
+:: Colore e titolo
+title ITSERR Workbench - Commit & Push
+color 1F
+
+echo ===========================================
+echo   ITSERR Workbench - Commit & Push Script
+echo ===========================================
+echo.
+
+:: Controlla se Git è disponibile
+where git >nul 2>nul
+if %errorlevel% neq 0 (
+    echo Errore: Git non trovato nel PATH.
+    echo Installa Git for Windows da https://git-scm.com/download/win
+    pause
+    exit /b
+)
+
+:: Chiede il messaggio di commit
+set /p commitmsg=Inserisci messaggio di commit: 
+if "%commitmsg%"=="" (
+    echo Nessun messaggio inserito. Operazione annullata.
+    pause
+    exit /b
+)
+
+echo.
+echo Aggiungo tutti i file modificati...
+git add -A
+
+echo.
+echo Creo il commit con messaggio: "%commitmsg%"
+git commit -m "%commitmsg%"
+
+echo.
+echo Spingo le modifiche su Gitea...
+git push
+
+echo.
+echo Operazione completata con successo.
+pause