pullrequests Search Results · language:Dune language:Python language:C# language:Java language:Java language:HTML
Filter by
127M results
What
Reverts the bottom-nav restyle from #58, restoring the previous floating rounded-pill nav.
This undoes:
- The flush full-width rounded-top bar → back to the floating rounded pill (borderRadius:26, ...
nazeershaik6033-gif
Summary
This branch refreshes the repository s assistant and documentation standards from the latest Python agent template so
future work follows the current guidance. It imports the updated AGENTS.md, ...
lodyai[bot]
🤖 Self-Healing CI — Fix Automatico
### Errore rilevato
- **Categoria**: `test`
- **Job fallito**: `Run Tests`
- **Commit**: `test_004`
- **Confidence classificazione**: 100%
### Ragionamento del Router ...
EdoardoMaxia
RotondoThe Science Harness s nervous system — the loop + dead-end registry that lets the harness search the H21 API surface and
record losslessly what it confirms and rules out. Built + verified by an MOE orchestrator ...
JosephOIbrahim
Summary
PR3 de 4 del refactor DDL. Agrega el stored procedure de telemetria y actualiza el de interrupciones.
Cambios principales
- Nuevo sp_reconciliar_telemetria() (~480 lineas):
- Set-based ...
odjaramillo
Summary
Adds passkey management page under Profile settings, allowing users to list, rename, and revoke their registered
WebAuthn credentials.
Backend
- GET /api/auth/passkey/credentials — list current ...
jpapiez
Captures the env-namespaced counter approach, dual-format parser strategy, schema migrations for project_sequences /
task_comments / task_cycle_iterations, and the affected code surfaces. No code changes ...
mhawthorne
Summary
- Run full run_ingest() when freshness=live on get_context_bundle and get_market_context, with fail-closed
live_ingest_failed when required sources fail (ADR-005 C2).
- Harden hosted MCP ...
negillett
What
Per-player profile pages — sharplab.djiang.xyz/hq/{username} (e.g. /hq/xpoes).
- /api/v1/hq/profile/{handle} resolves a username (case-insensitive) or numeric Discord id → returns that player ...
xpoes123