Skip to content
This repository has been archived by the owner on May 24, 2023. It is now read-only.

Add GitHub workflow to check for stale PRs and issues #15

Merged
merged 1 commit into from
Mar 12, 2021

Conversation

lucacome
Copy link
Member

No description provided.

@lucacome lucacome requested review from pleshakov and soneillf5 March 11, 2021 22:34
@lucacome lucacome self-assigned this Mar 11, 2021
@lucacome lucacome enabled auto-merge (squash) March 11, 2021 22:34
@github-actions github-actions bot added the chore Pull requests for routine tasks label Mar 11, 2021
@lucacome lucacome merged commit 884f07f into master Mar 12, 2021
@lucacome lucacome deleted the chore/stale-action branch March 12, 2021 17:06
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
chore Pull requests for routine tasks
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants