Merge 048d31a into master-ci

Author: github-actions[bot]

.github/workflows/CD_dev-release.yml

@@ -95,5 +95,5 @@ jobs:
 
           git add .
 
-          git commit -m "Sanitize dev-release"
+          git diff-index --quiet HEAD || git commit -m "Sanitize dev-release"
           git push origin dev-release --force