A disqus-like commenting system using GitHub issues