Revert "GitHub Actions to add/remove label "stale" and comment" #7954

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.

Sign up for GitHub

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

Jump to bottom

Merged

kenjis merged 1 commit into develop from revert-7950-confl

Sep 20, 2023

Member

kenjis commented Sep 20, 2023

Reverts #7950


          Revert "GitHub Actions to add/remove label "stale" and comment"

01ba309

kenjis added the github_actions label

kenjis merged commit d3d6875 into develop

kenjis deleted the revert-7950-confl branch

September 20, 2023 05:07

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels