Yes the last I heard was people wishing GitHub would do more with it (though I think those sorts of comments meant that the writing was on the wall).