GitHub Survivor - A bug leaderboard for GitHub issues