Benjamin> Once you've pushed the branches, is there a way to remove them? Related question: is there a way to view the various branches in a non-local repository? Skip