ExternalProject,FetchContent: require GIT_TAG when GIT_REPOSITORY is specified
!7631 (merged) notes that GIT_TAG is hard-coded to default to "master" instead of the remote Git repository default branch. This is surprising behavior, more so as projects opt for different default branch names.
We propose to require GIT_TAG if GIT_REPOSITORY is specified.