4 ms·
Yeah, PRs are missing commits for us too. We might have to start alerting people when GitHub is up, at this rate.
by misnome 6y ago
Yeah, PRs are missing commits for us too.
We might have to start alerting people when GitHub is up, at this rate.