On Mon, Feb 16, 2015 at 08:33:26PM +0100, Stefan Kueng wrote: > My usual use case for creating a copy not from HEAD but an earlier revision > is when I forgot to create a tag, and there have already been other commits > done after making the release. > So in that situation, it would be wrong to pin the externals (those pointing > to the same repository) to HEAD but those should be pinned to the revision > I'm creating the tag from. > Checking out that tag then would work as I expect - if the externals were > pinned to HEAD, the project might not compile.
I would argue that these are special circumstances where you can edit svn:externals props in the copy after creating it, rather than expecting this use case to apply to everyone. It's best to have pinning behave consistently across all externals.