Use devtools::session_info() instead of sessionInfo() for finer information

[lcolladotor]

Hi,

As an enhancement, it would be nice if the session information was dumped using devtools::session_info() instead of sessionInfo(). The main reason for suggesting this change is that devtools::session_info() gets the commit hash for github packages which is more precise than the package version number. This basically means changing https://github.com/craigcitro/r-travis/blob/master/scripts/travis-tool.sh#L215 and using EnsureDevTools a line above.

I understand that this might not happen for some time since session_info() is currently only available from the github version of devtools and not the CRAN version. Although, with the CRAN version you can install the github one.

Cheers,
Leo

[craigcitro]

ah, commit hash for github packages does sound nice. @hadley -- how long until the next devtools release?

[hadley]

7 hours ago ;)

[lcolladotor]

Awesome =)