don't save entire github user in session, since session is cookie-based and can get too large