Change how we compute the user_id in the session.db.#696

Merged

karlcow merged 1 commit intomasterfrom

Sep 6, 2015

Commits on Sep 6, 2015

No issue. Refer to users not by integer id, but by a hashed + salted version of their GitHub auth token.
Mike Taylor
committed