tweaking github.py