summaryrefslogtreecommitdiff
path: root/bin/git-pull-safe
diff options
context:
space:
mode:
authorSean Whitton <spwhitton@spwhitton.name>2017-07-10 12:23:01 +0100
committerSean Whitton <spwhitton@spwhitton.name>2017-07-10 12:23:01 +0100
commite32c5cb02e90720083a70f1053c449abda142486 (patch)
tree3273ee3a90a4f65670ad0b1b4c44bd017a164cda /bin/git-pull-safe
parentd9d569984458e248008d78e5b2076293cdf015f5 (diff)
downloaddotfiles-e32c5cb02e90720083a70f1053c449abda142486.tar.gz
comment out debug messages in my git push and pull scripts
Diffstat (limited to 'bin/git-pull-safe')
-rwxr-xr-xbin/git-pull-safe6
1 files changed, 3 insertions, 3 deletions
diff --git a/bin/git-pull-safe b/bin/git-pull-safe
index d0ee56ea..c0bfe33e 100755
--- a/bin/git-pull-safe
+++ b/bin/git-pull-safe
@@ -33,20 +33,20 @@ for branch in $branches; do
# if the branch cannot be fast-forwarded, git-merge-ff will
# exit non-zero, so myrepos will report that the update
# failed, so user intervention is required
- echo "I: attempting to fast-forward local branch $branch"
+ # echo "I: attempting to fast-forward local branch $branch"
git merge-ff "$branch"
fi
done
# (2) dgit branches
if [ "$(branch_prefix $current_branch)" = "dgit" ]; then
- echo "I: current branch is $current_branch; doing \`dgit pull\`"
+ # echo "I: current branch is $current_branch; doing \`dgit pull\`"
dgit pull
fi
for suite in $(git show-ref | grep refs/remotes/dgit/dgit | cut -d/ -f5 ); do
# skip if we just called `dgit pull` on this suite
if ! [ "$current_branch" = "dgit/$suite" ]; then
- echo "I: fetching dgit suite $suite"
+ # echo "I: fetching dgit suite $suite"
dgit fetch $suite
fi
done