dist/tools/ci/print_toolchain_versions.sh: also support git worktrees#22112

mguetschow wants to merge 1 commit into

RIOT-OS:masterRIOT-OS/RIOT:masterfrom

mguetschow:print-versions-worktreemguetschow/RIOT:print-versions-worktreeCopy head branch name to clipboard