Reorder summary table in console and PR comment reporters (#10) * Reorder summary table in console and PR comment reporters * Do not post PR comment if already merged
Reorder summary table in console and PR comment reporters (#10) * Reorder summary table in console and PR comment reporters * Do not post PR comment if already merged