fix(scripts/deploy_nightly): token is now just the PAT, need to add user (#1907)
fix(scripts/deploy_nightly): token is now just the PAT, need to add user (#1907)


leanprover-community/mathlib,leanprover-community/mathlib