feat: add issues and PRs breakdown to GitHub stats API#91

Gautam25Raj merged 1 commit into

VeriWorkly:masterVeriWorkly/veriworkly:masterfrom

d3vpool:feat/github-sync-stats-breakdownd3vpool/veriworkly:feat/github-sync-stats-breakdownCopy head branch name to clipboard