Add a comment about a different PR that may happen.