Merge pull request #3643 from tloncorp/hm/dont-fail-if-no-changes

ops: dont fail dev sync if there's nothing to commit

.github/workflows/sync-dev.yml

@@ -24,5 +24,5 @@ jobs:
           git merge staging
           git checkout --theirs desk/desk.docket-0
           git add -A
-          git commit -n --no-edit
+          git diff-index --quiet HEAD || git commit -n --no-edit
           git push