Skip to content

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

Merged
AlvaroRausell merged 1 commit into
mainfrom
arausell/revert
Jun 6, 2025
Merged

Revert "Use secrets.GITHUB_TOKEN instead of PAT for docs generation (#1377)"#1378
AlvaroRausell merged 1 commit into
mainfrom
arausell/revert

Revert "Use `secrets.GITHUB_TOKEN` instead of `PAT` for docs generati…

748723c
Select commit
Loading
Failed to load commit list.