Autofix: upgrade-sdkman-tools#1791

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

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