Handle diff exit code

j-woz · j-woz · commit 3d363fa7c817 · 2025-05-08T14:06:03.000-05:00
diff --git a/dev/github-actions/edit-settings.sh b/dev/github-actions/edit-settings.sh
@@ -36,4 +36,8 @@ then
 fi
 
 log "settings changed:"
+# There will be changes, so the diff exit code will be 1:
+set +e
+set -x
 diff $SETTINGS_ORIG $SETTINGS_SH
+log "SUCCESS"
