If someone has an open PR that makes changes to a file, and I merge a PR that renames that file, wil

If someone has an open PR that makes changes to a file, and I merge a PR that renames that file, will that result in a merge conflict or some other weirdness, or will Git redirect those changes to the renamed file?
Was this page helpful?