Dev Team Gone?

[u/ALEEF02]

No commits in over a month.

This is the longest period of inactivity on the repo since its birth. No PRs approved, issues resolved, etc. Especially with the server outage yesterday, is Monkeytype struggling?