Junio C Hamano <gitster@xxxxxxxxx> 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 - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
