af271c9e387f9b536205a7f459802369cb26a7e0

Author
Moshe Avni <moshe@avni.us>
Committer
GitHub <noreply@github.com>
Date

Message

feat(git-auto-fetch): add date to git-auto-fetch log file (#10021)

Diff

 1diff --git a/plugins/git-auto-fetch/git-auto-fetch.plugin.zsh b/plugins/git-auto-fetch/git-auto-fetch.plugin.zsh
 2index dbc949621f4ef0dda9e3864aa45cdf3073171575..efe8cbe66d13ccf35be22bb2e6e3160c1b89fb4c 100644
 3--- a/plugins/git-auto-fetch/git-auto-fetch.plugin.zsh
 4+++ b/plugins/git-auto-fetch/git-auto-fetch.plugin.zsh
 5@@ -25,8 +25,9 @@ function git-fetch-all {
 6     fi
 7 
 8     # Fetch all remotes (avoid ssh passphrase prompt)
 9+    date -R &>! "$gitdir/FETCH_LOG"
10     GIT_SSH_COMMAND="command ssh -o BatchMode=yes" \
11-      command git fetch --all 2>/dev/null &>! "$gitdir/FETCH_LOG"
12+      command git fetch --all 2>/dev/null &>> "$gitdir/FETCH_LOG"
13   ) &|
14 }
15