Revert "Use secrets.GITHUB_TOKEN instead of PAT for docs generation (#1377)"#1378

AlvaroRausell merged 1 commit intomaindevcontainers/features:mainfrom

arausell/revertdevcontainers/features:arausell/revertCopy head branch name to clipboard