Should we open a ticket with infra to enable a stale Github app/bot?

That will automate the closing of old issues and PRs and reduce toil 

- Carlos Santana
@csantanapr

> On Jul 3, 2020, at 10:04 AM, Rodric Rabbah <[email protected]> wrote:
> 
> Hello OpenWhisk community.
> 
> A heads up that I plan to go through the open issues in a number of repos
> over the weekend. I apologize in advance for upcoming github chatter.
> 
> -r

Reply via email to