Merge pull request #1278 from o1-labs/remove-bot

Removed the bot that closed stale issues and stale PRs
o1-labs · Oct 10, 2023 · fcb5f9e · fcb5f9e
2 parents 76938bb + 57c18ab
commit fcb5f9e
Showing 1 changed file with 0 additions and 35 deletions.
diff --git a/.github/workflows/stale.yml b/.github/workflows/stale.yml