I guess they just close the PR.