mirror of
https://github.com/zulip/zulip.git
synced 2025-11-03 05:23:35 +00:00
This may or may not be temporary, but either way, the other code is there in source control, and the "why" of disabling gitlint is the helpful bit for a comment.