Merge remote-tracking branch 'origin/master' into update-wb-tools

Author: pantherman594

src/vscode-docker/Dockerfile

@@ -55,12 +55,13 @@ RUN wget https://go.dev/dl/go1.23.5.linux-amd64.tar.gz && \
     tar -C /usr/local -xzf go1.23.5.linux-amd64.tar.gz && \
     rm go1.23.5.linux-amd64.tar.gz
 
-# Install gh (GitHub CLI version 2.86.0)
+# Install gh (not pinned because only the latest version is available in the
+# repository)
 RUN curl -fsSL https://cli.github.com/packages/githubcli-archive-keyring.gpg | dd of=/usr/share/keyrings/githubcli-archive-keyring.gpg && \
     chmod go+r /usr/share/keyrings/githubcli-archive-keyring.gpg && \
     echo "deb [arch=$(dpkg --print-architecture) signed-by=/usr/share/keyrings/githubcli-archive-keyring.gpg] https://cli.github.com/packages stable main" | tee /etc/apt/sources.list.d/github-cli.list > /dev/null && \
     apt-get update && \
-    apt-get install -y gh=2.86.0 && \
+    apt-get install -y gh && \
     rm -rf /var/lib/apt/lists/*
 
 # Install uv (Python package manager version 0.9.27)