upgrade github3.py; random fixes