GitHub Metrics: Customize your profile with various plugins and metrics | Product Hunt