fix: agent_run param mismatch (send agent_name) + add GitHub push-update (3 inputs: repo name, token, username; --force-with-lease)

Fixes agent_run + adds GitHub push-update:

FIX: handle_agent_run param mismatch
- Backend declared 8 params (prompt, target_language, target_framework,
history_json, skills_json, search_enabled, image_url, agent_name)
but frontend POST body only sent 7 — Gradio raised
'needed: 8, got: 7'. Frontend now sends state.activeAgent as the
8th value, restoring agent_run for ALL prompts (the bug broke agent
mode entirely after the Custom Agents feature shipped).

FEAT: Push Update to GitHub (3 inputs only)
- New backend: code/tools/github.py::push_to_github(repo_name,
github_token, username, branch?, commit_message?, timeout?)
- Workflow: snapshot workspace → fresh git repo in temp dir →
git add -A + git commit → git push --force-with-lease
https://<user>:<token>@github.com/<owner>/<repo>.git <branch>.
- Falls back to plain push if --force-with-lease fails on a brand-new
empty repo (no refs to lease against).
- Token is scrubbed from error messages before being returned.
- New API: push_github(repo_name, github_token, username, ...)
- New UI: 'Push Update to GitHub' section in the Deploy tab with 3
required inputs (repo name, GitHub token, username) + an Advanced
<details> for branch/commit_message.
- Updated README.md and CLAUDE.md with new feature docs.

index.html

@@ -1241,28 +1241,6 @@ body.hide-thinking .think-block { display: none; }
           <div class="deploy-section">
             <div class="deploy-title">&#129302; Agent Mode (Claude Code-style)</div>
 
-            <!-- GitHub Import -->
-            <div class="deploy-field" style="border-left:3px solid var(--cyan, #00d4ff);padding-left:10px;margin-bottom:14px;">
-              <label>&#128226; Import Project from GitHub</label>
-              <div style="display:flex;gap:6px;flex-wrap:wrap;margin-bottom:6px;">
-                <input type="text" id="github-url-input" placeholder="https://github.com/owner/repo  (or owner/repo/tree/main/subdir)" style="flex:1;min-width:220px;background:var(--bg-deep,#0d1117);color:var(--text);border:1px solid var(--border);border-radius:3px;padding:6px 10px;font-family:var(--font-mono);font-size:11px;">
-                <button onclick="importGithub()" id="btn-import-github" style="font-size:11px;background:var(--cyan, #00d4ff);color:#000;border:none;padding:6px 14px;cursor:pointer;border-radius:3px;font-weight:600;">&#11015; Import</button>
-              </div>
-              <div style="display:flex;gap:8px;flex-wrap:wrap;margin-bottom:4px;font-size:10px;color:var(--gray-dim);">
-                <input type="text" id="github-branch-input" placeholder="branch (optional)" style="flex:1;min-width:120px;max-width:200px;background:var(--bg-deep,#0d1117);color:var(--green);border:1px solid var(--border);border-radius:3px;padding:4px 8px;font-family:var(--font-mono);font-size:10px;">
-                <input type="text" id="github-subdir-input" placeholder="subdir (optional)" style="flex:1;min-width:120px;max-width:200px;background:var(--bg-deep,#0d1117);color:var(--green);border:1px solid var(--border);border-radius:3px;padding:4px 8px;font-family:var(--font-mono);font-size:10px;">
-                <input type="text" id="github-into-input" placeholder="into path (optional)" style="flex:1;min-width:120px;max-width:200px;background:var(--bg-deep,#0d1117);color:var(--green);border:1px solid var(--border);border-radius:3px;padding:4px 8px;font-family:var(--font-mono);font-size:10px;">
-              </div>
-              <div class="deploy-hint">
-                Paste any GitHub URL. Accepts <code>https://github.com/owner/repo</code>,
-                <code>/tree/branch/subdir</code> URLs, and SSH form.
-                The repo is shallow-cloned and copied into the workspace with
-                <code>.git</code>, <code>node_modules</code>, <code>__pycache__</code>,
-                <code>.venv</code> stripped. Or type <code>/github &lt;url&gt;</code> in chat for the AI to do it.
-              </div>
-              <div id="github-import-status" style="font-size:10px;margin-top:4px;color:var(--gray-dim);"></div>
-            </div>
-
             <!-- Agent mode toggle -->
             <div class="deploy-field">
               <label>Agent Mode</label>
@@ -1365,6 +1343,33 @@ body.hide-thinking .think-block { display: none; }
 
         <!-- Deploy Pane -->
         <div class="tab-pane" id="pane-deploy">
+          <!-- ─── GitHub Import Section ──────────────────────────────── -->
+          <div class="deploy-section" style="margin-bottom:14px;">
+            <div class="deploy-title" style="color:var(--cyan, #00d4ff);text-shadow:0 0 6px rgba(0,212,255,0.4);">&#128226; Import Project from GitHub</div>
+            <div class="deploy-hint" style="margin-bottom:10px;">
+              Pull a remote repo into the current workspace. Accepts
+              <code>https://github.com/owner/repo</code>,
+              <code>/tree/branch/subdir</code> URLs, and SSH form.
+              The repo is shallow-cloned and copied into the workspace with
+              <code>.git</code>, <code>node_modules</code>, <code>__pycache__</code>,
+              <code>.venv</code> stripped. Or type <code>/github &lt;url&gt;</code> in chat for the AI to do it.
+            </div>
+            <div class="deploy-field" style="border-left:3px solid var(--cyan, #00d4ff);padding-left:10px;margin-bottom:0;">
+              <label>Repository URL</label>
+              <div style="display:flex;gap:6px;flex-wrap:wrap;margin-bottom:6px;">
+                <input type="text" id="github-url-input" placeholder="https://github.com/owner/repo  (or owner/repo/tree/main/subdir)" style="flex:1;min-width:220px;background:var(--bg-deep,#0d1117);color:var(--text);border:1px solid var(--border);border-radius:3px;padding:6px 10px;font-family:var(--font-mono);font-size:11px;">
+                <button onclick="importGithub()" id="btn-import-github" style="font-size:11px;background:var(--cyan, #00d4ff);color:#000;border:none;padding:6px 14px;cursor:pointer;border-radius:3px;font-weight:600;">&#11015; Import</button>
+              </div>
+              <div style="display:flex;gap:8px;flex-wrap:wrap;margin-bottom:4px;font-size:10px;color:var(--gray-dim);">
+                <input type="text" id="github-branch-input" placeholder="branch (optional)" style="flex:1;min-width:120px;max-width:200px;background:var(--bg-deep,#0d1117);color:var(--green);border:1px solid var(--border);border-radius:3px;padding:4px 8px;font-family:var(--font-mono);font-size:10px;">
+                <input type="text" id="github-subdir-input" placeholder="subdir (optional)" style="flex:1;min-width:120px;max-width:200px;background:var(--bg-deep,#0d1117);color:var(--green);border:1px solid var(--border);border-radius:3px;padding:4px 8px;font-family:var(--font-mono);font-size:10px;">
+                <input type="text" id="github-into-input" placeholder="into path (optional)" style="flex:1;min-width:120px;max-width:200px;background:var(--bg-deep,#0d1117);color:var(--green);border:1px solid var(--border);border-radius:3px;padding:4px 8px;font-family:var(--font-mono);font-size:10px;">
+              </div>
+              <div id="github-import-status" style="font-size:10px;margin-top:4px;color:var(--gray-dim);"></div>
+            </div>
+          </div>
+
+          <!-- ─── HuggingFace Deploy Section ─────────────────────────── -->
           <div class="deploy-section">
             <div class="deploy-title">&#128640; Deploy to HuggingFace</div>