Simple questions on GIT usage.
- From
- Franck <vagabon.xyz@gmail.com>
- Date
- Nov 14, 2005, 15:46 UTC
- 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-pruneAnd 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