python / python/python-docs-es

automatizar "pings" en issues/prs sin novedades

Open
#628 3 comments 2 reactions 1 assignee View on GitHub

@gilgamezh is already working on this.

Since Jul 26, 2020.

stale
Dominant language
Python
Stars
371
Forks
413
PR merge metrics
No merged PRs in 30d

Description

Muchas veces pasa que alguien toma un issue o crea un PR y luego ese PR no tiene actualizaciones. Es posible tener un bot que se ocupe de hacer "ping' o de cerrar/"desasignar" un pr o ticket

Mi propuesta es el siguiente workflow:

Issues:

  • si está asignado y no hay actividad en 10 días hacer un "ping": Hola @author. Este issue tiene varios días sin actividad, por favor agrega un comentario si todavía estas trabajando en el mismo o por favor avisanos si no vas a poder continuarlo

  • si está asignado y no hay actividad en 20 días. agregar un mensaje Hola @author vamos a dejar este issue disponible para otras personas. Avisanos si querés retomarlo! y luego dejar el issue sin asignar a nadie.

PR:

  • Si esta creado y no tiene reviews enviar un mensaje a todes les admines/reviewer para recordar que necesita review
  • Si el estado es "changes requested" y no tiene actividad por 7 días. Postear un comentario: Hola @author. Este PR tiene varios días sin actividad, por favor agrega un comentario si todavía estas trabajando en el mismo o por favor avisanos si no vas a poder continuarlo
  • Si el estado es "changes requested" y no tiene actividad por más de 14 días hacer un mention a los admines Hola @admines este PR quedó huerfano :( por favor validá si es posible terminarlo o si tenemos que cerrarlo

Creo que es mejor que alguien del grupo decida qué hacer porque en muchos casos tal vez es simple retomar el PR o resolver algún conflicto y luego cerrarlo. Si no se puede o es complicado simplemente lo cerramos.

Para implementar esto podemos usar el bot que tenemos de ejemplo en el pr #625

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.