On Mon, 2005-10-31 at 01:18 +0100, Giovanni Bajo wrote: > Joseph S. Myers <[EMAIL PROTECTED]> wrote: > > >> For old branches that are dead and of no use (because they are > >> merged into newer branches), I'm include to rm them, and for old > >> branches that have ideas, but, may never see the light of day, be > >> conservative and leave them alone. > > > > I'd rather put dead branches which had development but have now been > > merged into newer branches or mainline in branches/closed instead of > > removing them > > Why? > > I fail to see any reason for this. When you don't need a file anymore, you > delete it. When you don't need a directory anymore, you delete it. I can't see > why it should be any different for branches. Deleting a branch makes life > easier for people looking for branches, reduce the noise, and makes the > repository cleaner.
Yeah. personally, i'd like to remove them too. You can always see them with the [EMAIL PROTECTED] syntax ie svn ls svn://gcc.gnu.org/svn/gcc/[EMAIL PROTECTED]