Add optional bridge push step to git-bug sync workflow

Adds a workflow_dispatch input "push-to-github" (default: false)
that enables pushing locally-created bugs to GitHub Issues.
Scheduled runs remain pull-only.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: yarikoptic

.github/workflows/sync-git-bug.yml

@@ -6,6 +6,11 @@ on:
     # Run hourly at minute 17 (avoid top-of-hour contention)
     - cron: "17 * * * *"
   workflow_dispatch:
+    inputs:
+      push-to-github:
+        description: "Push local bugs to GitHub Issues"
+        type: boolean
+        default: false
 
 permissions:
   contents: write
@@ -68,6 +73,10 @@ jobs:
             --token="$GH_TOKEN" \
             --non-interactive
 
+      - name: Push local bugs to GitHub
+        if: inputs.push-to-github
+        run: git-bug bridge push github
+
       - name: Pull issues from GitHub
         run: git-bug bridge pull github