mathlib3

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

#965

Merged