ci: sync dashboard from 2bc80cd

Source: github.com/CouLiBaLy-B/gh-deepagents@2bc80cd9efa80019caf02d83b448842dfd4f78b5

src/gh_deepagent/dashboard/pages/5_🚀_Trigger.py

@@ -1,8 +1,9 @@
 """Trigger page — kick off a job locally (CLI shortcut).
 
-This page runs the agent **in-process** via the runner, NOT through the queue.
-Useful for one-off operator interventions; for production use, prefer GitHub
-labels / comments which go through the queue.
+Runs the agent **in-process** via the runner, NOT through the queue. Useful
+for one-off operator interventions. The LLM provider/model/token used here
+comes from the env (or from the **⚙️ LLM Settings** page, which writes to
+the same env vars for the current process).
 """
 from __future__ import annotations
 
@@ -33,6 +34,39 @@ if not user.get("is_admin"):
     )
     st.stop()
 
+# --- Current LLM banner -----------------------------------------------
+_spec = st.session_state.get("llm.spec") or os.getenv(
+    "DEEPAGENT_MODEL", "anthropic:claude-sonnet-4-5"
+)
+_provider = _spec.split(":", 1)[0] if ":" in _spec else _spec
+_key_env_map = {
+    "anthropic": "ANTHROPIC_API_KEY",
+    "openai": "OPENAI_API_KEY",
+    "google_genai": "GOOGLE_API_KEY",
+    "groq": "GROQ_API_KEY",
+}
+_key_env = _key_env_map.get(_provider)
+_has_key = (not _key_env) or bool(os.getenv(_key_env))
+cols = st.columns([3, 1])
+with cols[0]:
+    st.info(
+        f"**Current LLM:** `{_spec}` "
+        + (f"· {_key_env} {'✅' if _has_key else '❌ missing'}" if _key_env else "")
+        + " — change it on the **⚙️ LLM Settings** page."
+    )
+with cols[1]:
+    st.page_link(
+        "pages/8_⚙️_LLM_Settings.py",
+        label="⚙️ Configure LLM",
+        icon="🔧",
+    )
+
+if not _has_key:
+    st.error(
+        f"⛔ The chosen provider needs `{_key_env}` to be set. "
+        "Set it on the LLM Settings page or in the Space *Settings → Variables and secrets*."
+    )
+
 st.warning(
     "⚠️ This page runs the agent inside the Streamlit process. It will block "
     "the UI for the duration of the run. For long jobs, use the queue."
@@ -40,15 +74,21 @@ st.warning(
 
 tab_fix, tab_evolve, tab_review = st.tabs(["Fix issue", "Evolve repo", "Review PR"])
 
+# Helper to give consistent hints
+_REPO_HELP = "Accepts `owner/repo`, a full GitHub URL, or an SSH URL — all normalised automatically."
+
 with tab_fix:
-    issue_url = st.text_input("Issue URL",
-                              placeholder="https://github.com/org/repo/issues/42")
+    issue_url = st.text_input(
+        "Issue URL",
+        placeholder="https://github.com/org/repo/issues/42",
+        help="Must be a full GitHub issue URL.",
+    )
     dry = st.checkbox("Dry-run (no PR)", key="dry-fix")
     if st.button("Run fix_issue", type="primary", disabled=not issue_url):
         with st.spinner("Agent running…"):
             try:
                 from gh_deepagent.runner import fix_issue
-                res = fix_issue(issue_url, dry_run=dry)
+                res = fix_issue(issue_url.strip(), dry_run=dry)
                 if res.pr_url:
                     st.success(f"✅ PR opened: {res.pr_url}")
                 st.markdown(res.summary or "(no summary)")
@@ -59,9 +99,15 @@ with tab_fix:
                 st.error(f"Failed: {e}")
 
 with tab_evolve:
-    repo = st.text_input("Repo (owner/name)", value=os.getenv("DEEPAGENT_DEFAULT_REPO", ""),
-                         key="evolve-repo")
-    instruction = st.text_area("Instruction", placeholder="What should the agent change?",
+    repo = st.text_input(
+        "Repo",
+        value=os.getenv("DEEPAGENT_DEFAULT_REPO", ""),
+        key="evolve-repo",
+        help=_REPO_HELP,
+        placeholder="owner/repo  or  https://github.com/owner/repo",
+    )
+    instruction = st.text_area("Instruction",
+                               placeholder="What should the agent change?",
                                height=120, key="evolve-instr")
     dry2 = st.checkbox("Dry-run (no PR)", key="dry-evolve")
     if st.button("Run evolve_code", type="primary",
@@ -80,8 +126,13 @@ with tab_evolve:
                 st.error(f"Failed: {e}")
 
 with tab_review:
-    repo3 = st.text_input("Repo (owner/name)", value=os.getenv("DEEPAGENT_DEFAULT_REPO", ""),
-                          key="review-repo")
+    repo3 = st.text_input(
+        "Repo",
+        value=os.getenv("DEEPAGENT_DEFAULT_REPO", ""),
+        key="review-repo",
+        help=_REPO_HELP,
+        placeholder="owner/repo  or  https://github.com/owner/repo",
+    )
     pr_n = st.number_input("PR number", min_value=1, step=1, key="review-pr")
     if st.button("Run review_pr", type="primary",
                  disabled=not (repo3 and pr_n)):

src/gh_deepagent/dashboard/pages/8_⚙️_LLM_Settings.py

@@ -0,0 +1,255 @@
+"""LLM provider / model / API-key configuration page.
+
+For the **all-in-one demo Space**, this page lets any admin reconfigure the LLM
+**without restarting the container**. The settings are written to
+``st.session_state`` and pushed into ``os.environ`` so that the in-process
+``runner.fix_issue / evolve_code / review_pr`` calls (page 🚀 Trigger) pick
+them up immediately.
+
+Limitations:
+- Workers running in *other processes* keep the env vars they were started
+  with. For a multi-process deployment you still need to set DEEPAGENT_MODEL
+  + the right API key at container-start time.
+- For the standalone (no-backend) dashboard this page is informative — you
+  can configure values for a future backend you'll deploy yourself.
+"""
+from __future__ import annotations
+
+import os
+
+import streamlit as st
+
+from gh_deepagent.dashboard.auth_ui import render_user_badge, require_login
+
+
+st.set_page_config(page_title="LLM Settings · gh-deepagent",
+                   page_icon="⚙️", layout="wide")
+st.title("⚙️ LLM provider, model & token")
+st.caption(
+    "Configure which LLM the agent should use. Changes apply **in this Space, "
+    "right now**, for jobs triggered via the dashboard. They do NOT propagate "
+    "to other Spaces or to workers in other processes."
+)
+
+_api, user = require_login()
+render_user_badge()
+if not user.get("is_admin"):
+    st.error("LLM settings are restricted to admins.")
+    st.stop()
+
+
+# ----------------------------------------------------- known providers
+PROVIDERS = {
+    "anthropic": {
+        "label": "Anthropic Claude",
+        "env_key": "ANTHROPIC_API_KEY",
+        "models": [
+            "claude-sonnet-4-5",
+            "claude-opus-4",
+            "claude-haiku-4",
+            "claude-sonnet-4-20250514",
+        ],
+        "spec_prefix": "anthropic:",
+        "doc": "https://docs.anthropic.com/en/api/getting-started",
+    },
+    "openai": {
+        "label": "OpenAI",
+        "env_key": "OPENAI_API_KEY",
+        "models": [
+            "gpt-4o-mini",
+            "gpt-4o",
+            "gpt-4.1",
+            "gpt-4.1-mini",
+            "gpt-5",
+            "o4-mini",
+        ],
+        "spec_prefix": "openai:",
+        "doc": "https://platform.openai.com/api-keys",
+    },
+    "google_genai": {
+        "label": "Google Gemini",
+        "env_key": "GOOGLE_API_KEY",
+        "models": [
+            "gemini-2.5-flash",
+            "gemini-2.5-pro",
+        ],
+        "spec_prefix": "google_genai:",
+        "doc": "https://aistudio.google.com/apikey",
+    },
+    "groq": {
+        "label": "Groq (Llama, Mixtral, …)",
+        "env_key": "GROQ_API_KEY",
+        "models": [
+            "llama-3.3-70b-versatile",
+            "llama-3.1-70b-versatile",
+            "mixtral-8x7b-32768",
+        ],
+        "spec_prefix": "groq:",
+        "doc": "https://console.groq.com/keys",
+    },
+    "ollama": {
+        "label": "Ollama (local, no API key)",
+        "env_key": "",  # no key
+        "models": [
+            "qwen2.5-coder:14b",
+            "deepseek-coder-v2:16b",
+            "llama3.1:8b",
+        ],
+        "spec_prefix": "ollama:",
+        "doc": "https://ollama.com/library",
+    },
+}
+
+
+# ----------------------------------------------------- current state
+def _current_spec() -> str:
+    return st.session_state.get("llm.spec") or os.getenv(
+        "DEEPAGENT_MODEL", "anthropic:claude-sonnet-4-5"
+    )
+
+
+def _current_provider() -> str:
+    spec = _current_spec()
+    for pid, p in PROVIDERS.items():
+        if spec.startswith(p["spec_prefix"]):
+            return pid
+    return "anthropic"
+
+
+# ----------------------------------------------------- UI
+st.subheader("Current configuration")
+
+cur_provider = _current_provider()
+cur_spec = _current_spec()
+cur_model = cur_spec.split(":", 1)[1] if ":" in cur_spec else cur_spec
+
+cc = st.columns(3)
+cc[0].metric("Provider", PROVIDERS[cur_provider]["label"])
+cc[1].metric("Model", cur_model)
+key_env = PROVIDERS[cur_provider]["env_key"]
+if key_env:
+    key_set = bool(os.getenv(key_env))
+    cc[2].metric(
+        f"{key_env}",
+        "✅ set" if key_set else "❌ missing",
+        delta=None,
+    )
+else:
+    cc[2].metric("API key", "—  (none required)")
+
+st.divider()
+
+# ----------------------------------------------------- form
+st.subheader("Change configuration")
+
+with st.form("llm-settings-form"):
+    provider_id = st.selectbox(
+        "Provider",
+        list(PROVIDERS.keys()),
+        index=list(PROVIDERS.keys()).index(cur_provider),
+        format_func=lambda k: PROVIDERS[k]["label"],
+    )
+    p = PROVIDERS[provider_id]
+
+    # Model selector: known models + free-text override
+    model_options = p["models"] + ["(custom — type below)"]
+    default_idx = (
+        model_options.index(cur_model) if cur_model in model_options else 0
+    )
+    model_choice = st.selectbox("Model", model_options, index=default_idx)
+    custom_model = st.text_input(
+        "Custom model name",
+        value=cur_model if cur_model not in p["models"] else "",
+        disabled=model_choice != "(custom — type below)",
+        placeholder="e.g. my-org/my-finetune",
+    )
+    chosen_model = custom_model if model_choice == "(custom — type below)" else model_choice
+
+    api_key = ""
+    if p["env_key"]:
+        st.markdown(
+            f"**API key** → stored as env var `{p['env_key']}` "
+            f"([get one]({p['doc']}))"
+        )
+        api_key = st.text_input(
+            f"{p['env_key']}",
+            type="password",
+            value="",  # never display the existing value
+            placeholder="Leave blank to keep the current one",
+        )
+    else:
+        st.caption(f"No API key needed for {p['label']}. "
+                   f"Make sure an Ollama server is reachable.")
+
+    base_url = ""
+    if provider_id == "ollama":
+        base_url = st.text_input(
+            "OLLAMA_BASE_URL",
+            value=os.getenv("OLLAMA_BASE_URL", "http://localhost:11434"),
+        )
+
+    submitted = st.form_submit_button("Apply", type="primary")
+
+if submitted:
+    if not chosen_model:
+        st.error("Pick or type a model name.")
+        st.stop()
+
+    spec = f"{p['spec_prefix']}{chosen_model}"
+    os.environ["DEEPAGENT_MODEL"] = spec
+    st.session_state["llm.spec"] = spec
+
+    if api_key and p["env_key"]:
+        os.environ[p["env_key"]] = api_key
+        st.session_state[f"llm.key.{p['env_key']}"] = "set"  # marker only
+    if base_url and provider_id == "ollama":
+        os.environ["OLLAMA_BASE_URL"] = base_url
+
+    # The Settings cache is frozen — invalidate it so the next get_settings()
+    # picks up the new DEEPAGENT_MODEL.
+    try:
+        from gh_deepagent.config import get_settings
+        get_settings.cache_clear()
+    except Exception:
+        pass
+
+    st.success(f"✅ Applied: `{spec}`"
+               + (f" with **{p['env_key']}**" if api_key else ""))
+    st.info(
+        "These settings apply to **jobs you launch from the dashboard right now**. "
+        "They won't reach other workers / processes. For a permanent change, set "
+        "the corresponding env vars in the Space *Settings → Variables and secrets*."
+    )
+
+st.divider()
+
+# ----------------------------------------------------- diagnostics
+with st.expander("🔎 What's in the environment right now?"):
+    rows = []
+    for pid, info in PROVIDERS.items():
+        env = info["env_key"]
+        if not env:
+            continue
+        rows.append({
+            "Provider": info["label"],
+            "Env var": env,
+            "Set": "✅" if os.getenv(env) else "—",
+        })
+    rows.append({
+        "Provider": "—",
+        "Env var": "DEEPAGENT_MODEL",
+        "Set": os.getenv("DEEPAGENT_MODEL", "(default)"),
+    })
+    rows.append({
+        "Provider": "—",
+        "Env var": "OLLAMA_BASE_URL",
+        "Set": os.getenv("OLLAMA_BASE_URL", "(default)"),
+    })
+    import pandas as pd
+    st.dataframe(pd.DataFrame(rows), use_container_width=True, hide_index=True)
+
+st.caption(
+    "💡 For production: configure these as Space *Variables* (model) and "
+    "*Secrets* (API key). They'll then apply to every container restart, "
+    "not just your current session."
+)

src/gh_deepagent/github_client.py

@@ -153,3 +153,49 @@ def _parse_author(s: str) -> tuple[str, str]:
     if not m:
         return s.strip(), "bot@deepagent"
     return m.group(1).strip(), m.group(2).strip()
+
+# ---------------------------------------------------------------- normaliser
+
+# Accepts:  owner/repo
+#           https://github.com/owner/repo
+#           https://github.com/owner/repo.git
+#           git@github.com:owner/repo.git
+#           https://x-access-token:TOK@github.com/owner/repo[.git]
+_REPO_RE = re.compile(
+    r"""^(?:
+        (?:https?://(?:[^@/]+@)?github\.com/)
+        |
+        (?:git@github\.com:)
+    )?
+    (?P<owner>[A-Za-z0-9][A-Za-z0-9-]*)
+    /
+    (?P<repo>[A-Za-z0-9._-]+?)
+    (?:\.git)?
+    /?$""",
+    re.VERBOSE,
+)
+
+
+def normalize_repo_full_name(value: str) -> str:
+    """Normalise any reasonable repo reference to ``owner/repo``.
+
+    Raises :class:`ValueError` if the value clearly isn't a GitHub repo ref.
+    """
+    if not value or not isinstance(value, str):
+        raise ValueError(f"empty repo reference: {value!r}")
+    s = value.strip()
+    # If it has multiple URL-like substrings (user pasted "https://...https://..."),
+    # keep only the trailing one.
+    if s.count("https://") > 1 or s.count("http://") > 1:
+        # Take the segment after the last protocol marker.
+        for marker in ("https://", "http://"):
+            if marker in s:
+                s = marker + s.rsplit(marker, 1)[1]
+    m = _REPO_RE.match(s)
+    if not m:
+        raise ValueError(
+            f"Not a valid GitHub repo reference: {value!r}. "
+            "Expected formats: 'owner/repo', a full https URL, or an ssh URL."
+        )
+    return f"{m['owner']}/{m['repo']}"
+

src/gh_deepagent/runner.py

@@ -17,7 +17,7 @@ from rich.console import Console
 
 from .agent import build_agent
 from .config import get_settings
-from .github_client import GitHubOps, IssueRef
+from .github_client import GitHubOps, IssueRef, normalize_repo_full_name
 
 console = Console()
 
@@ -149,6 +149,7 @@ def evolve_code(
     backend: Optional[str] = None,
 ) -> RunResult:
     """Apply a free-form evolution request to the repo."""
+    repo_full_name = normalize_repo_full_name(repo_full_name)
     settings = get_settings()
     settings.assert_ready()
 
@@ -191,6 +192,7 @@ def iterate_pr(
 
     Triggered by `/deepagent <instruction>` on a PR comment, or via CLI.
     """
+    repo_full_name = normalize_repo_full_name(repo_full_name)
     settings = get_settings()
     settings.assert_ready()
     gh = GitHubOps()
@@ -253,6 +255,7 @@ def iterate_pr(
 def review_pr(repo_full_name: str, pr_number: int, backend: Optional[str] = None) -> RunResult:
     """Post an automated code-review comment on a PR."""
     import urllib.request
+    repo_full_name = normalize_repo_full_name(repo_full_name)
     settings = get_settings()
     settings.assert_ready()
     gh = GitHubOps()