2 ms·Not really the time for that. There's also PRs being merged every hour of the day.by zparky 6mo agoNot really the time for that. There's also PRs being merged every hour of the day.