tree 58d4942dfb99be41f0082b317acb1275b6785591
parent 0b38353cb066899d09b926b7c87e29cecfc83f1c
author Joakim Bech <joakim.bech@linaro.org> 1578557578 +0100
committer Jérôme Forissier <jerome@forissier.org> 1578575022 +0100

GitHub: use GitHub actions to close stale issues and PRs

It's not uncommon that people ask questions or send pull requests that
becomes stale for various reasons. Some examples can be:
 - Original Poster (OP) doesn't close the ticket.
 - OP doesn't get back when maintainers asked for more information.
 - OP gets busy with other things and have to put the work a side.

Having lots of open issues and pull request makes it almost impossible
to figure out where help and input is needed, since things simply
becomes overwhelming. By using GitHub actions [1] we enable a tool that
can:
  - Automatically close issues that no one cares about.
  - Help us bring attention back to issues that are of importance.
  - Push patch creators to not drop their proposed patches.
  - Remind maintainers and other OP-TEE users that reviews are needed.

This patch set propose actions that will warn after 30 days of no
activity, together with that warning the GitHub bot will add a "stale"
label. If that label isn't removed within 5 days, then the GitHub bot
will close the issue or pull request.

People who are admins in the OP-TEE project can remove the label by
themselves, other people have to add a comment telling that their issue
is still relevant and that they would like to have the stale label
removed.

When we first enable this, hundreds of issues and pull requests will be
affected, but after a first round the list of open issues and pull
request should be much smaller and should only contain things that are
or relevance to continue working with.

Link: [1] https://help.github.com/en/actions/automating-your-workflow-with-github-actions/about-github-actions

Signed-off-by: Joakim Bech <joakim.bech@linaro.org>
Acked-by: Jerome Forissier <jerome@forissier.org>
Acked-by: Jens Wiklander <jens.wiklander@linaro.org>