Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
18,290 Commits 28 Branches 143 Tags 627 MiB
Commit Graph

11 Commits

Author SHA1 Message Date
Konstantin Gukov dd76222a3f Fetch system bots using new get_system_bot function. 
This eliminate a bunch of uninteresting calls to
get_user_profile_by_email.
 2017-05-23 10:30:40 -07:00
Aditya Bansal 03e43b78ee pep8: Add compliance with rule E261 to zerver/lib/html_diff.py. 2017-05-18 03:00:32 +05:30
Raghav Jajodia a3a03bd6a5 mypy: Added Dict, List and Set imports. 
Fixed mypy errors associated with the upgrade.
 2017-03-04 14:33:44 -08:00
Tim Abbott 99c5563bc6 internal_send_message: Make realm argument mandatory. 
A lot of care has been taken to ensure we're using the realm that the
message is being sent into, not the realm of the sender, to correctly
handle the logic for cross-realm bot users such as the notifications
bot.
 2017-01-21 21:37:30 -08:00
Robert Hönig 0917493588 mypy: Convert zerver/lib to use typing.Text. 2016-12-25 10:33:45 -08:00
Sahil Dua 058587da77 Remove extra new lines at the ends of Zulip authoried files. 
Fixes #1627.

[tweaked by tabbott to avoid patching third-party modules, for now]
 2016-09-26 21:05:24 -07:00
Eklavya Sharma 018041625c zerver/lib/html_diff.py: Fix annotations. 2016-06-18 16:41:40 -07:00
medullaskyline cb84f72f2d Annotate zerver/lib/html_diff.py. 2016-06-03 23:21:26 -07:00
Leo Franchi db6550e99a Make built-in bots come from settings.py, and allow localserver-specific ones 
(imported from commit e21933e37487314ac986147562817a19227e8960)
 2013-11-01 14:13:05 -04:00
Luke Faraone 52309b5789 Enable absolute imports for non-third-party code where it was omitted previously 
(imported from commit 34856ac32c6b94b614273a6fe46c87a314058d9b)
 2013-10-25 14:13:30 -04:00
Tim Abbott e111a2f9a5 [manual] Rename Django app from zephyr to zerver. 
This needs to be deployed to both staging and prod at the same
off-peak time (and the schema migration run).

At the time it is deployed, we need to make a few changes directly in
the database:

(1) UPDATE django_content_type set app_label='zerver' where app_label='zephyr';
(2) UPDATE south_migrationhistory set app_name='zerver' where app_name='zephyr';

(imported from commit eb3fd719571740189514ef0b884738cb30df1320)
 2013-08-06 07:39:36 -04:00