NB: Pants used Review Board for reviews until, well the viz makes it clear when. Before then, merges that would show as GitHub merges were rare - I think only Patrick Lawson consistently was disciplined enough to get RB patches applied in a way GitHub understood as a PR merge.