PSA - I have re-enabled the stale bot on github PRs. If you are working on a PR that hasn't been updated in a while, it might get closed automatically.