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

Merged

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

mergify merged 1 commit into leanprover-community:master from gebner:upload_nightly_fix

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

b7d3f0dd

robertylewis approved these changes on 2020-01-25

robertylewis added ready-to-merge

mergify merged 20f153a5 into master 6 years ago

Reviewers

robertylewis

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone