update.py now fetches updates from github.