mirror of
https://github.com/zulip/zulip.git
synced 2025-11-03 21:43:21 +00:00
9391f7aa98
We may be having problems with git lint, so this is a quick fix to hopefully get builds working again.