Re: [PATCH] git-checkout --push/--pop
- From
Matthieu Moy <matthieu.moy@imag.fr>
- Date
- Dec 5, 2007, 10:26 UTC
- Message-ID
- <vpqir3de8t6.fsf@bauges.imag.fr>
- In-Reply-To
- <7vprxl1v9v.fsf@gitster.siamese.dyndns.org>
Junio C Hamano <gitster@pobox.com> writes:
> Matthieu, is this something that forgetful people would find useful?
Not sure. That's obviously an interesting feature, but adding two more options to checkout (which is already a huge swiss-army knife) might not be worth the trouble.
And the issue with push/pop approaches is that I usually notice I have to use pop after not having used push (i.e. I use "cd -" all the time, but rarely "pushd"/"popd").
-- Matthieu