A real-time multiple repository dashboard for GitHub issues and commits