Merge branch 'weekly' into updatecli_weekly_8417362f7dc56a6d72f1253bbef90544b8a8bece130a227580117c9ba34d379d

Author: gounthar

.gitpod/Dockerfile

@@ -1,7 +1,7 @@
 # This Dockerfile is used to create a Gitpod workspace with GitHub CLI installed.
 
 # We start from the Gitpod full workspace image which includes a broad range of development tools.
-FROM gitpod/workspace-full:2025-06-23-06-54-22
+FROM gitpod/workspace-full:2025-07-01-16-48-15
 
 # The RUN command executes a series of commands in the new layer of the image and commits the results.
 # The following commands are executed: