Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

probot-ladybug #625

Closed
wants to merge 1 commit into from
Closed

probot-ladybug #625

wants to merge 1 commit into from

Conversation

@lorinkoz
Copy link

@lorinkoz lorinkoz commented Jul 25, 2020

Este bot ejecuta acciones basadas en reglas, sirve para pinchar las costillas cuando pasa algún tiempo sin actividad en un issue/PR.

  1. Instalar https://github.com/apps/botladybug
  2. Configurar el bot a partir del fichero que está en este PR.

El PR está pendiente hasta que se definan las reglas para la interacción del bot.

chime_on_stalled:
if_type: pr
if_state: open
if_updated: "10 days"

This comment has been minimized.

@cmaureir

cmaureir Jul 26, 2020
Collaborator

@gilgamezh quizás podriamos dejarlo en 14, para que al menos sean dos semanas.
@humitos creo que 2 semanas es lo que habiamos conversado, o eran 20 dias?

This comment has been minimized.

@gilgamezh

gilgamezh Jul 26, 2020
Collaborator

acabo de crear el issue #628 y voy a usar este PR de ejemplo para implementar lo que puse ahi

@cmaureir
Copy link
Collaborator

@cmaureir cmaureir commented Jul 26, 2020

Muchas gracias @lorinkoz 🎉
Una pregunta con respecto a ese recordatorio, es solo para PRs? Issues? todo?

Como conversábamos en el canal queriamos dos funcionalidades:

  • Hacer ping a la gente con PRs sin actividad cada X tiempo,
  • Hacer un ping a la gente con Issues asignados y que aún no tienen ningún PR, y quizás después de la segunda o así, quitarlos de la asignación.
    Se podrían las dos?
@gilgamezh gilgamezh self-assigned this Jul 26, 2020
gilgamezh added a commit that referenced this pull request Jul 26, 2020
I used @lorinkoz pr #625 as an example
@lorinkoz lorinkoz closed this Aug 12, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

3 participants
You can’t perform that action at this time.