Closed matthauck closed 4 years ago
Need to consider all commits that belong to the PR on push events, not just the commits recently pushed.
Need to consider all commits that belong to the PR on push events, not just the commits recently pushed.