Find total GitHub stars

Enter a GitHub username to get the total number of stars across public repos.