> A branch is only a name that points to a commit. Deleting branches > that have been merged into master (or equivalent) loses no > information. Na dann! Das wußte ich nicht – danke fürs Nachschauen. Werner