dkvasov
4244a82b03
git: Add ignoring pycharm-specific dependencies.
2018-05-17 16:57:16 +03:00
Rohitt Vashishtha
0efc7a9488
tools/deploy: Add script to deploy bots on a remote bot server.
...
This script interfaces with a Zulip Botfarm - a flask server that wraps
docker and runs Zulip bots using the docker engine. This allows for
remotely hosting bots for better uptime, and reduces the configuration
steps needed for safely hosting a bot online.
2018-03-09 06:49:19 -05:00
Steve Howell
2827b59b8b
gitignore: Allow "lib" directory.
...
We use "lib" as a common abbreviation in our own source.
2018-01-02 16:03:24 -05:00
fredfishgames
b157b817ae
interactive bots: Improve googlesearch bot.
2017-12-03 14:03:47 -08:00
derAnfaenger
035f0c3268
tools: Add mypy runner.
...
Unless otherwise specified, `tools/run-mypy` will right now only
check annotations in core files of the `zulip` package.
2017-09-15 13:24:20 +02:00
derAnfaenger
c383fea18a
.gitignore: Add bot configuration files.
2017-09-07 10:47:41 +02:00
derAnfaenger
5671dba71e
provision: Add venvs to .gitignore.
2017-08-25 09:31:01 +02:00
derAnfaenger
b3fc7edcf7
git: Ignore automatically generated MANIFEST.in.
2017-08-24 10:01:53 -07:00
Rohitt Vashishtha
4cd580d4fe
tools: Diff with requirements.txt in tools/provision.
2017-08-17 10:43:50 -07:00
Eeshan Garg
f9655266df
python-zulip-api: Add tools/provision for setting up dev env.
2017-08-17 10:39:00 -07:00
Eeshan Garg
879f44ab3a
bots: Move all bots and the bots API to separate package.
2017-07-18 02:20:27 -02:30
Rohitt Vashishtha
71b43e4d3e
tools: Add .gitignore.
2017-07-06 13:09:08 -07:00
