Re: Correct way of making existing remote repository "bare"
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jul 15, 2009, 19:39 UTC
- Message-ID
- <7vws69enws.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <4A5DE3DA.1010004@dirk.my1.cc>
Dirk Süsserott <newsletter@dirk.my1.cc> writes:
> I think what you did is 'porcellain' while my solution is 'plumbing'. > Any complaints?
No.
We need to be careful and either (1) to have anybody who adds 'plumbing' procedure to any FAQ responsible for keeping it up to date, as the implementation detail is subject to change, or (2) only to have 'Porcelain' description in the documentation.