diff options
| -rwxr-xr-x | gist | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -490,7 +490,7 @@ _pull_if_needed() { | |||
| 490 | local blob_code_local=$(_blob_code "$repo") | 490 | local blob_code_local=$(_blob_code "$repo") |
| 491 | cd "$repo" \ | 491 | cd "$repo" \ |
| 492 | && [[ $blob_code_local != "$blob_code" ]] \ | 492 | && [[ $blob_code_local != "$blob_code" ]] \ |
| 493 | && [[ $(git rev-parse origin/HEAD) == $(git rev-parse $(remote_head)) ]] \ | 493 | && [[ $(git rev-parse origin/HEAD) == $(git rev-parse $(_remote_head)) ]] \ |
| 494 | && git pull & | 494 | && git pull & |
| 495 | done | 495 | done |
| 496 | } | 496 | } |