GitHub repo changes name based on number of stars | Hacker News Reader