diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/remotetest | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/remotetest b/tools/remotetest index cfbee0043a..a4e980eb61 100755 --- a/tools/remotetest +++ b/tools/remotetest @@ -191,7 +191,7 @@ fi # if it's not the init operation, proceed normally # push to remote bare repo -git push $LOCATION $LOCATION/master +git push $LOCATION master if [ $? -ne 0 ] then error "Could not push to bare repo." |