Great example! Github needs to give their code some TLC though. It seems like new comments on a pull request don't show up until after I push a new commit.