From fbd9516667062c7e0774f9cb0ce542685c3212b8 Mon Sep 17 00:00:00 2001
From: Sebastien <sle118@hotmail.com>
Date: Mon, 28 Nov 2022 10:46:15 -0500
Subject: [PATCH] one more update to web push - [skip actions]

---
 docker/build_tools.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker/build_tools.py b/docker/build_tools.py
index bc8e9fae..0e00b33e 100644
--- a/docker/build_tools.py
+++ b/docker/build_tools.py
@@ -889,7 +889,7 @@ def push_if_change(repo: Repository, token: str, source_path: str, manif_json):
             if push_with_method(auth_methods, token, remote, [reference]):
                 print(f'::notice Web installer updated for {format_artifact_from_manifest(manif_json)}')
                 return
-            
+        raise Exception('Unable to push web installer.')    
 
     else:
         print(f'WARNING: No change found. Skipping update')