Aren't they served by Gitalk? There's a username dropdown, and inside there's a link "Gitalk1.1.4" —> https://github.com/gitalk/gitalk. Also, doesn't really look like Disqus to me.