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 _______________________________________________ Python-Dev mailing list Python-Dev@python.org http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
