Fix revoke token for GitHub

Replaces #539.