mathlib3
feat(script/auth_github): improve messages [ci skip]
#965

Merged

feat(script/auth_github): improve messages [ci skip] #965

cipher1024 merged 1 commit into master from auth-msg

feat(script/auth_github): improve messages [ci skip]

594828b6

PatrickMassot requested a review 6 years ago

PatrickMassot requested a review from

cipher1024 6 years ago

cipher1024 approved these changes on 2019-05-01

cipher1024 added ready-to-merge

cipher1024 merged b3433a51 into master 6 years ago

cipher1024 deleted the auth-msg branch 6 years ago

Reviewers

cipher1024

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone