From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 19566 invoked by alias); 17 Mar 2009 21:44:03 -0000 Mailing-List: contact archer-help@sourceware.org; run by ezmlm Sender: Precedence: bulk List-Post: List-Help: List-Subscribe: List-Id: Received: (qmail 19556 invoked by uid 22791); 17 Mar 2009 21:44:02 -0000 X-SWARE-Spam-Status: No, hits=-2.4 required=5.0 tests=AWL,BAYES_00,SPF_HELO_PASS,SPF_PASS X-Spam-Check-By: sourceware.org Date: Tue, 17 Mar 2009 21:44:00 -0000 From: Jan Kratochvil To: Tom Tromey Cc: archer@sourceware.org Subject: Dead branches deletion? [Re: [expr]-fix [jk-expr-committed] Fix crash on C++ DW_AT_name "".] Message-ID: <20090317214352.GB15790@host0.dyn.jankratochvil.net> References: <20090315182943.GA17211@host0.dyn.jankratochvil.net> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.18 (2008-05-17) X-SW-Source: 2009-q1/txt/msg00391.txt.bz2 On Tue, 17 Mar 2009 22:20:44 +0100, Tom Tromey wrote: > (Though I see on the wiki that this is listed as a dead branch... is > that accurate?) Dodji suggested one can delete the remote GIT branches by: git push origin :branch-to-delete (it worked for me when I was fixing up `archer-jankratochvil-fedora-merge') Is there any reason to keep the `Dead Branches' wiki section and not just delete those branches to make the `git branch -r | grep archer' listing easier? Although CVS can also delete the branches while is is usual to keep them in the repositories. Or maybe just delete completely empty branches (like my archer-jankratochvil-fedora) and keep the real but obsolete ones for historical reasons? Thanks, Jan