70 GitHub revoked

Resolves #70 
Should we also delete the token from core?