@mentalguy @github @drbrain I'm sure they'll get to it. They're already doing great thing with the history API in the repos.