Merge "Be more careful about when to close pull requests"