Add github3.py's .gitignore