mathlib

c12536a7 - fix(gitpod): correct command name (#13976)

fix(gitpod): correct command name (#13976) `leanpkg config` doesn't exist, it's `leanpkg configure`. @b-mehta tricked me in https://github.com/leanprover-community/mathlib/pull/13949#issuecomment-1117589670