rename pr_stats_dashboard input to github_metrics_dashboard

abcxyz / github-metrics-aggregator

Apache License 2.0

11 stars 3 forks source link

Closed gjonathanhong closed 5 months ago

gjonathanhong commented 5 months ago

This change generalizes the dashboard name in case the base dashboard includes more than PR stats.