fix sync script bugs, remove auto-merge workflow (#36)

- Fix jq pipe precedence: wrap uris length check in parens so
  `length` applies to the array, not the boolean and-chain
- Fix while-loop subshell: use process substitution so counter
  variables persist to the final summary line
- Remove auto-merge workflow: GITHUB_TOKEN merges do not trigger
  push events, so deploy-netty never ran on auto-merged PRs

.github/workflows/auto-merge.yml

@@ -1,21 +0,0 @@
-name: auto-merge
-
-on:
-  pull_request:
-    types: [opened, synchronize, reopened]
-    branches: [main]
-
-permissions:
-  contents: write
-  pull-requests: write
-
-jobs:
-  enable-auto-merge:
-    runs-on: ubuntu-latest
-    steps:
-      - name: Enable auto-merge
-        run: gh pr merge --auto --squash "$PR_NUMBER"
-        env:
-          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          GH_REPO: ${{ github.repository }}
-          PR_NUMBER: ${{ github.event.pull_request.number }}