Autofix: upgrade-sdkman-tools#1744

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

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