Skip to content

add stale bot actions #12103

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

Closed
wants to merge 1 commit into from
Closed

Conversation

mkusaka
Copy link
Contributor

@mkusaka mkusaka commented Apr 10, 2022

I would like to use this as a basis for discussion.

This PR try to add stale bot actions.

Motivations are described at #10138.

I think it's worth using this bot in, but how about it?

note: I think we can still use stalebot for github apps, but it seems that github actions version stalebot has more options.

close: #10138

PR checklist

  • Read the contribution guidelines.
  • Pull Request title clearly describes the work in the pull request and Pull Request description provides details about how to validate the work. Missing information here may result in delayed response from the community.
  • Run the following to build the project and update samples:
    ./mvnw clean package 
    ./bin/generate-samples.sh
    ./bin/utils/export_docs_generators.sh
    
    Commit all changed files.
    This is important, as CI jobs will verify all generator outputs of your HEAD commit as it would merge with master.
    These must match the expectations made by your contribution.
    You may regenerate an individual generator by passing the relevant config(s) as an argument to the script, for example ./bin/generate-samples.sh bin/configs/java*.
    For Windows users, please run the script in Git BASH.
  • If your PR is targeting a particular programming language, @mention the technical committee members, so they are more likely to review the pull request.

@mkusaka mkusaka requested a review from jimschubert as a code owner April 10, 2022 16:03
@wing328
Copy link
Member

wing328 commented Apr 24, 2022

@mkusaka thanks for the PR. We'd similar discussions before but since we use the issue tracker for discussion as well, we decide not to use the Slate bot.

@mkusaka
Copy link
Contributor Author

mkusaka commented Apr 24, 2022

@wing328 Oh. OK. I understood. I will close this PR. Thank you :).

@mkusaka mkusaka closed this Apr 24, 2022
@mkusaka mkusaka deleted the add-stale-bot branch April 24, 2022 08:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[REQ] Add stale bot
2 participants