diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2017-07-10 12:23:01 +0100 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2017-07-10 12:23:01 +0100 |
commit | e32c5cb02e90720083a70f1053c449abda142486 (patch) | |
tree | 3273ee3a90a4f65670ad0b1b4c44bd017a164cda /bin/git-pull-safe | |
parent | d9d569984458e248008d78e5b2076293cdf015f5 (diff) | |
download | dotfiles-e32c5cb02e90720083a70f1053c449abda142486.tar.gz |
comment out debug messages in my git push and pull scripts
Diffstat (limited to 'bin/git-pull-safe')
-rwxr-xr-x | bin/git-pull-safe | 6 |
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 |