4 ms·
Neat, this should be a default feature on github.com/owner/repo/pulls page (especially showing at a glance the state of the PR)
by ozh 13y ago
Neat, this should be a default feature on github.com/owner/repo/pulls page (especially showing at a glance the state of the PR)