Closed maxrjones closed 1 year ago
@jhamman would you mind giving this a quick review? I simplified the PR by removing the stale bot configuration entirely.
Thanks @jhamman! I don't have permissions to merge this, so I'd really appreciate someone merging for me or being added to the team
Specify permissions, do not close issues, and only run weekly (due to low activity in this repository).
Closes #888