Fix typos in github.py