aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/git
diff options
context:
space:
mode:
authorHsieh Chin Fan <pham@topo.tw>2023-02-07 23:08:40 +0800
committerHsieh Chin Fan <pham@topo.tw>2023-02-07 23:08:40 +0800
commitf09bc9eda2426ab0e711ea3928e51f09cc50eb05 (patch)
tree668a98a3412ba03f59831101fe447510afc7aa2c /tools/git
parent7c06b64342df1d1e872527a9fea1c04aa7b626ad (diff)
Update
Diffstat (limited to 'tools/git')
-rwxr-xr-xtools/git/check-repos.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/git/check-repos.sh b/tools/git/check-repos.sh
index 5180fc9..abaa3a2 100755
--- a/tools/git/check-repos.sh
+++ b/tools/git/check-repos.sh
@@ -28,7 +28,7 @@ while read repo remote; do
28 changes="$(git -c color.status=always status --short)" 28 changes="$(git -c color.status=always status --short)"
29 29
30 # Diff between from local repo and remote 30 # Diff between from local repo and remote
31 cherry="$([ -n "`git remote`" ] && git cherry)" 31 cherry="$([ -n "`git remote`" ] && git cherry 2>/dev/null)"
32 32
33 if [[ $COUNT_ONLY == true ]]; then 33 if [[ $COUNT_ONLY == true ]]; then
34 # If '-n' is specified, only count repo with changes/local-diff 34 # If '-n' is specified, only count repo with changes/local-diff