github.py mini-help fix