Add github user/repo to session_info()'s output
Merge pull request #554 from gaborcsardi/fix/session-github-repo

Add github user/repo to session_info()'s output