From 2b12ece4f3d5e12a062d576dd85360801802e721 Mon Sep 17 00:00:00 2001
From: NiccoloN <niccolo.nicolosi@gmail.com>
Date: Wed, 11 Mar 2026 16:32:41 +0100
Subject: [PATCH] fix github workflow

---
 .github/workflows/docker-build-and-push.yaml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.github/workflows/docker-build-and-push.yaml b/.github/workflows/docker-build-and-push.yaml
index c704508..fbd9db1 100644
--- a/.github/workflows/docker-build-and-push.yaml
+++ b/.github/workflows/docker-build-and-push.yaml
@@ -25,8 +25,6 @@ jobs:
     steps:
       - name: Checkout repository
         uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
-        with:
-          github-server-url: https://chef.heaplab.deib.polimi.it/git
 
       - name: Build Docker image
         run: |