Discard changes on the remote build machine when pulling the latest commits.

2026-07-18 10:14:48 +01:00
parent 3992a77c78
commit d12b4da065
1 changed files with 1 additions and 0 deletions
@@ -56,6 +56,7 @@ ssh $BUILD_MACHINE_USER@$BUILD_MACHINE_NAME << EOF
        cd rs-dublinbus
    else 
        cd rs-dublinbus
+        git reset --hard
        git pull
    fi