mirror of
https://github.com/zulip/zulip.git
synced 2025-10-22 20:42:14 +00:00
As noted in the comment, hopefully we get to revert this tomorrow, but it still seems worth doing so that PRs can pass CI again.
As noted in the comment, hopefully we get to revert this tomorrow, but it still seems worth doing so that PRs can pass CI again.