Re: [OMPI devel] Proposal: Github "stale" bot

2019-03-19 Thread George Bosilca
:+1:

George.



On Tue, Mar 19, 2019 at 12:45 PM Jeff Squyres (jsquyres) via devel <
devel@lists.open-mpi.org> wrote:

> I have proposed the use of the Github Probot "stale" bot:
>
> https://probot.github.io/apps/stale/
> https://github.com/open-mpi/ompi/pull/6495
>
> The short version of what this bot does is:
>
> 1. After a period of inactivity, a label will be applied to mark an issue
> as stale, and optionally a comment will be posted to notify contributors
> that the Issue or Pull Request will be closed.
>
> 2. If the Issue or Pull Request is updated, or anyone comments, then the
> stale label is removed and nothing further is done until it becomes stale
> again.
>
> 3. If no more activity occurs, the Issue or Pull Request will be
> automatically closed with an optional comment.
>
> Specifically, the PR I propose sets the Stalebot config as:
>
> - After 60 days of inactivity, issues/PRs will get a warning
> - After 7 more days of inactivity, issues/PRs will be closed and the "Auto
> closed" label will be applied
> - Issues/PRs with the "help wanted" or "good first issue" will be ignored
> by the Stalebot
>
> Thoughts?
>
> If we move ahead with this: given that this will apply to *all* OMPI
> issues/PRs, we might want to take a whack at closing a whole pile of old
> issues/PRs first before unleashing the Stalebot.
>
> --
> Jeff Squyres
> jsquy...@cisco.com
>
> ___
> devel mailing list
> devel@lists.open-mpi.org
> https://lists.open-mpi.org/mailman/listinfo/devel
>
___
devel mailing list
devel@lists.open-mpi.org
https://lists.open-mpi.org/mailman/listinfo/devel

[OMPI devel] Proposal: Github "stale" bot

2019-03-19 Thread Jeff Squyres (jsquyres) via devel
I have proposed the use of the Github Probot "stale" bot:

https://probot.github.io/apps/stale/
https://github.com/open-mpi/ompi/pull/6495

The short version of what this bot does is:

1. After a period of inactivity, a label will be applied to mark an issue as 
stale, and optionally a comment will be posted to notify contributors that the 
Issue or Pull Request will be closed.

2. If the Issue or Pull Request is updated, or anyone comments, then the stale 
label is removed and nothing further is done until it becomes stale again.

3. If no more activity occurs, the Issue or Pull Request will be automatically 
closed with an optional comment.

Specifically, the PR I propose sets the Stalebot config as:

- After 60 days of inactivity, issues/PRs will get a warning
- After 7 more days of inactivity, issues/PRs will be closed and the "Auto 
closed" label will be applied
- Issues/PRs with the "help wanted" or "good first issue" will be ignored by 
the Stalebot

Thoughts?

If we move ahead with this: given that this will apply to *all* OMPI 
issues/PRs, we might want to take a whack at closing a whole pile of old 
issues/PRs first before unleashing the Stalebot.

-- 
Jeff Squyres
jsquy...@cisco.com

___
devel mailing list
devel@lists.open-mpi.org
https://lists.open-mpi.org/mailman/listinfo/devel