Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove scripts/github_issue_no_activity_closer.py (should be replaced…
… by stale-bot if needed)
- Loading branch information