mirror of
https://github.com/zulip/zulip.git
synced 2025-11-03 05:23:35 +00:00
This fixes an actual user-facing issue in our mobile push notifications documentation (where we were incorrectly failing to quote the argument to `./manage.py register_server` making it not work), as well as preventing future similar issues from occurring again via a linter rule.