correct github.py