Autofix: upgrade-sdkman-tools#1752

autofix-bot wants to merge 1 commit intogitpod-io:maingitpod-io/workspace-images:mainfrom

autofix-bot:autofix-upgrade-sdkman-tools-769autofix-bot/workspace-images:autofix-upgrade-sdkman-tools-769Copy head branch name to clipboard