Fix github.py