Merge branch 'devel' into 'main'

reenable hardlink

See merge request release-engineering/public/toolkit!20

sync/sync-to-prod.sh

@@ -22,7 +22,7 @@ if [ $ret_val -eq "0" ]; then
   # Full file list update
   cd "${PRODUCTION_ROOT}/${CATEGORY_STUB}/" || { echo "Failed to change directory"; exit 1; }
   # Hardlink everything except xml files
-  #hardlink -x '.*\.xml.*' "${REVISION}"
+  hardlink -x '.*\.xml.*' "${REVISION}"
   find . > fullfilelist
   if [[ -f /usr/local/bin/create-filelist ]]; then
     # We're already here, but Justin Case wanted this