Re: [PATCH 7/7] push: document --lockref
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jul 9, 2013, 20:42 UTC
- Message-ID
- <7v8v1fv52c.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <51DC723F.2000602@alum.mit.edu>
Michael Haggerty <mhagger@alum.mit.edu> writes:
Show 5 quoted lines
> <bikeshed> > The name "--lockref" is OK, but for me it's less a question of > "locking", because as far as the user is concerned the push is an atomic > operation so there is no sense of a "lock" that is being held for a > finite period of time.
Yeah, I think this is more like "taking a lease".