Skip to content

chore: update agents to toolbox v1.7.0 - #14

Merged
jcant0n merged 1 commit into
mainfrom
chore/toolbox-v1-7-0
Aug 2, 2026
Merged

chore: update agents to toolbox v1.7.0#14
jcant0n merged 1 commit into
mainfrom
chore/toolbox-v1-7-0

Conversation

@jcant0n

@jcant0n jcant0n commented Aug 2, 2026

Copy link
Copy Markdown
Member

Actualiza los agentes a v1.7.0, que trae la configuración de la GitHub App.

Lo que desbloquea

ci-doctor ya puede abrir los PRs para los que existe. GITHUB_TOKEN no puede escribir bajo .github/workflows/ —ese permiso es exclusivo de Apps— así que hasta ahora el doctor habría diagnosticado un workflow roto y luego fallado al proponer el arreglo, cayendo a una issue con enlace manual.

No se había notado porque sus invocaciones fueron todas skipped: nada ha fallado en main desde que se instaló.

Y pone al día el pin

Este repo arrastraba varias releases. Recoge de paso el fetch portable a Windows, los arreglos de finales de línea, y la detección de cambios que lee el índice en vez del árbol de trabajo — el que evitaba publicar un NuGet cada mes sin motivo.

🤖 Generated with Claude Code

Brings the GitHub App configuration, which lets ci-doctor open the pull
requests it exists to open. GITHUB_TOKEN may not write under
.github/workflows/ -- that permission is App-only -- so until now the
doctor would diagnose a broken workflow and then fail to propose the
fix, falling back to an issue with a manual link.

Also catches this repository up on everything since its pin: the
portable upstream fetch, the line-ending fixes, and change detection
that reads the index rather than the working tree.
@jcant0n
jcant0n merged commit f0941bb into main Aug 2, 2026
1 check passed
@jcant0n
jcant0n deleted the chore/toolbox-v1-7-0 branch August 2, 2026 19:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant