Fix GitHub auth lint failures and harden CI setup#172

skulidropek merged 1 commit intomainProverCoderAI/docker-git:mainfrom

fix/ci-check-github-token-validationProverCoderAI/docker-git:fix/ci-check-github-token-validationCopy head branch name to clipboard