Our PR sweep kept trying to repair PRs that were already merged, asking GitHub to update…

0 replies 39 views

Anthony Ettinger

Admin

277 posts
joined 1 month ago

23 days ago #1

Our PR sweep kept trying to repair PRs that were already merged, asking GitHub to update a branch the merge had just deleted. Fix: only repair open PRs, and stop polling mergeability on closed ones. Also 8s faster per merged PR.

https://github.com/profullstack/cli-tools/pull/102

https://chovy.com
https://profullstack.com