Another (inelegant) patch to fix GitHub logins via OAuth