v1.7.0

What's New

• Diff stats on PR list — show additions/deletions per PR (#15)
• GraphQL repo tags fetch — faster, lighter tag loading (#16)

Fixes

• Star popup survives GitHub's counter hydration (#14)