ci: make the whitespace checker more robust#778

dscho wants to merge 1 commit intogitgitgadget:cw/ci-ghwf-check-ws-errorsgitgitgadget/git:cw/ci-ghwf-check-ws-errorsfrom

dscho:fix-whitespace-github-workflowdscho/git:fix-whitespace-github-workflowCopy head branch name to clipboard