On Tue, 15 Oct 2013 18:00:42 +0400
Konstantin Khomoutov wrote:
> On Tue, 15 Oct 2013 16:24:50 +0800
> lei yang 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 so
On Tue, 15 Oct 2013 16:24:50 +0800
lei yang 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 loo
Thanks, that's what exactly I want
Lei
On Tue, Oct 15, 2013 at 4:47 PM, Benoit Person wrote:
> Hi,
>
> If I understand correctly what you're asking for, the most reliable
> way is to read the modification date of the .git/FETCH_HEAD file.
>
> This SW thread has more precisions:
>
> http://stac
Hi,
If I understand correctly what you're asking for, the most reliable
way is to read the modification date of the .git/FETCH_HEAD file.
This SW thread has more precisions:
http://stackoverflow.com/questions/2993902/how-do-i-check-the-date-and-time-of-the-latest-git-pull-that-was-executed
On 15
Hi experts
Is there a place record when I run "git pull" the last time
Lei
--
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 git-users+unsubscr...@google