Skip to content

Ajustes de alto nivel - #9

Merged
agj merged 8 commits into
devfrom
fixes
Feb 13, 2026
Merged

agj merged 8 commits into
devfrom
fixes

Conversation

@agj

@agj agj commented Feb 13, 2026

Copy link
Copy Markdown
Owner

Este PR hace lo siguiente:

  • Quita plantillas de issue y PR de Github, para quitar fricciones innecesarias.
  • Hace pequeños ajustes de estilo a las páginas.
  • Cambia link a instalador de Determinate Nix por el instalador experimental, en CONTRIBUTING.md.
  • Explicita que la traducción está hecha sin IA.
  • Quita listado de tareas pendientes en CONTRIBUTING.md.
  • Hace que el REPL funcione en la previsualización local del libro.

@agj
agj merged commit 874730f into dev Feb 13, 2026
1 check passed
@agj
agj deleted the fixes branch February 13, 2026 04:17
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