Skip to content

Re po#5

Closed
rtobar wants to merge 23 commits intortobar:3.12from
JPC501:re-po
Closed

Re po#5
rtobar wants to merge 23 commits intortobar:3.12from
JPC501:re-po

Conversation

@rtobar
Copy link
Copy Markdown
Owner

@rtobar rtobar commented Nov 1, 2023

No description provided.

@github-actions
Copy link
Copy Markdown

github-actions bot commented Nov 1, 2023

All entries translated, horray! 🎉

JPC501 and others added 11 commits November 1, 2023 10:51
Co-authored-by: rtobar <rtobarc@gmail.com>
Co-authored-by: rtobar <rtobarc@gmail.com>
Co-authored-by: rtobar <rtobarc@gmail.com>
Co-authored-by: rtobar <rtobarc@gmail.com>
Co-authored-by: rtobar <rtobarc@gmail.com>
Co-authored-by: rtobar <rtobarc@gmail.com>
Co-authored-by: rtobar <rtobarc@gmail.com>
Co-authored-by: rtobar <rtobarc@gmail.com>
Co-authored-by: rtobar <rtobarc@gmail.com>
rtobar added a commit to python/python-docs-es that referenced this pull request Nov 6, 2023
Este PR agrega una nueva acción que agrega un comentario a los PRs que
editan archivos .po indicando qué entradas aún no tienen una traducción.

Un ejemplo de esto funcionando se puede ver en
rtobar#3. Hay varios comentarios
automáticos porque use ese PR para debuguear el proceso, pero la idea es
que finalmente haya un solo comentario que se va actualizando (como se
puede ver en el último comentario, que está editado).

Otro ejemplo se puede ver en
rtobar#5, donde el PR viene desde
un fork en vez de venir desde el mismo repositorio.

Otra opción habría sido agregar un check a CI que falle si faltan
entradas, pero en 3.11 ya tuvimos el caso en que *tuvimos* que dejar
entradas fuzzy a propósito.

---------

Signed-off-by: Rodrigo Tobar <rtobar@icrar.org>
JPC501 and others added 9 commits November 6, 2023 17:08
Co-authored-by: rtobar <rtobarc@gmail.com>
Co-authored-by: rtobar <rtobarc@gmail.com>
Co-authored-by: rtobar <rtobarc@gmail.com>
Co-authored-by: rtobar <rtobarc@gmail.com>
Co-authored-by: rtobar <rtobarc@gmail.com>
Co-authored-by: rtobar <rtobarc@gmail.com>
@JPC501 JPC501 deleted the re-po branch November 8, 2023 06:14
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.

2 participants