On Feb 13, 2008 5:39 PM, Jay Soffian <jaysoffian@xxxxxxxxx> wrote: > 1) git-branch -d <branchname> complains if <branchname> hasn't been > merged to HEAD. Shouldn't it really only complain if <branchname> > hasn't been merged into any local branch? i.e., as long as > <branchname> has been merged, why care to which branch? It's easy to mistype branch names, and you typically only delete them after you merge them into your current branch. If you're really sure, just pass -D instead of -d. Dave. - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
