Another month, another pile of merged PRs to show for it. July’s headline stat is one I didn’t see coming: I gave 175 pull request reviews. Mind you, most of those reviews were of PRs written by robots, about changes suggested by robots. I’m not sure if I’m the manager or the middle manager at this point, but the org chart is definitely weird.
By the Numbers Metric Count Pull requests opened 77 … merged 76 … still open 1 … closed without merging 0 Issues opened (per my GitHub profile) 9 Commits (per my GitHub profile) 113 PR reviews given (per my GitHub profile) 175 Repos touched 22 Releases published 7 Bot-filed data updates 0 Every PR this month had a human-shaped title — the daily data-bot took July off, so that 77 is all me, or at least all me-supervised. A 76-of-77 merge rate with the one holdout being a PR to somebody else’s repo says something about how agreeable my own repos are. The busiest repos were this website (13), data-curated (11 — mostly The Tower game data updates, because yes, I track a mobile game’s numbers like it’s my job), and my-user-manuals (10).
...