On Tue, 15 Oct 2013 18:00:42 +0400 Konstantin Khomoutov <[email protected]> wrote:
> On Tue, 15 Oct 2013 16:24:50 +0800 > lei yang <[email protected]> wrote: > > > Is there a place record when I run "git pull" the last time > > Please note that while you've got an answer proposing a semi-working > solution (that is, working until someone calls > `touch .git/FETCH_HEAD`), to me, it seems that you're trying to > look... Sorry, an incomplete sentence slipped. I meant that you might be trying to look at the problem at a wrong angle instead of adopting the rules of the tool you're using. [...] -- You received this message because you are subscribed to the Google Groups "Git for human beings" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
