A tool for counting Pull Request comments performed by a GitHub user