python3 scripts/check.py; echo ---; git status --short
