fix(stellar/wraith-names): respect pause in set_metadata, bulk ops, and claim (#150)

.github/workflows/retarget-pr-main.yml

@@ -0,0 +1,26 @@
+name: Retarget PRs against main
+
+on:
+  pull_request_target:
+    types: [opened, reopened]
+    branches: [main]
+
+permissions:
+  pull-requests: write
+  issues: write
+  contents: read
+
+jobs:
+  retarget:
+    # Skip release PRs (develop -> main); catch everything else that targets main.
+    if: github.event.pull_request.head.ref != 'develop'
+    runs-on: ubuntu-latest
+    steps:
+      - name: Retarget to develop and comment
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        run: |
+          PR=${{ github.event.pull_request.number }}
+          REPO=${{ github.repository }}
+          gh pr edit "$PR" --repo "$REPO" --base develop
+          gh pr comment "$PR" --repo "$REPO" --body "Auto-retargeted this PR from \`main\` to \`develop\`. Wave PRs merge into \`develop\`; \`main\` is only for release cuts. If you meant to target main deliberately (rare), reply here and we can revert this."