Delete github.py~