From: Franck <vagabon.xyz@gmail.com>
Date: Mon, 14 Nov 2005 15:46:23 GMT
Subject: Simple questions on GIT usage.
Message-ID: <cda58cb80511140746w2f691fb8y@mail.gmail.com>

Hi,

I'd like to know how to delete an entire branch and all it's related
objects. Is the following correct to accomplish that ?

        # rm -f .git/refs/heads/mybranch
        # git-prune

And a second question is: how to get the tree ID of the working
repository ? I know it's very basic but I can't find out the answer in
any documentations.

Thanks
--
               Franck