Skip to content

Revert "Add GitHub workflow to close stale issues and PRs"#2888

Merged
joschi merged 1 commit intomasterfrom
revert-2884-stale-issues
Aug 19, 2019
Merged

Revert "Add GitHub workflow to close stale issues and PRs"#2888
joschi merged 1 commit intomasterfrom
revert-2884-stale-issues

Conversation

@joschi
Copy link
Member

@joschi joschi commented Aug 19, 2019

Reverts #2884
Refs actions/stale#8

@joschi joschi merged commit fb253fc into master Aug 19, 2019
@joschi joschi deleted the revert-2884-stale-issues branch August 19, 2019 16:50
@joschi joschi self-assigned this Aug 20, 2019
joschi added a commit that referenced this pull request Aug 20, 2019
Issues and PRs will be marked as stale after 90 days and removed if there wasn't any activity 14 days after that.

Refs #2884
Refs #2888
Refs actions/stale#8
joschi added a commit that referenced this pull request Aug 20, 2019
Issues and PRs will be marked as stale after 90 days and removed if there wasn't any activity 14 days after that.

Refs #2884
Refs #2888
Refs actions/stale#8
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.

1 participant