diff options
Diffstat (limited to 'renew-config')
-rwxr-xr-x | renew-config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/renew-config b/renew-config index 4412f9f..1ca55d6 100755 --- a/renew-config +++ b/renew-config @@ -8,7 +8,7 @@ cd "$REPO" >/dev/null git push origin master 2>/dev/null # check if remote is up to date -git fetch git@git.spline.de:bcfg2-repository +git fetch git@git.spline.de:bcfg2-repository 2>/dev/null if [ -n "$(git rev-list HEAD..FETCH_HEAD)" ]; then error "$REPO: HEAD does not equal to origin/master." fi |