Merge branch 'master' into jgrpp

# Conflicts:
#	src/lang/czech.txt
#	src/lang/galician.txt
#	src/lang/german.txt
#	src/order_cmd.cpp
#	src/saveload/afterload.cpp
#	src/ship.h
#	src/vehicle.cpp

.github/workflows/preview_build.yml

@@ -37,6 +37,7 @@ jobs:
 
     - name: Name branch
       run: |
+        git config --global --add safe.directory ${GITHUB_WORKSPACE}
         name=$(echo "${{ github.event.client_payload.folder }}")
         git checkout -b ${name}