PIG208
6f3f9bf7e4
black: Reformat without skipping string normalization.
2021-06-02 18:45:57 -07:00
PIG208
fba21bb00d
black: Reformat skipping string normalization.
2021-06-02 18:45:57 -07:00
PIG208
5580c68ae5
isort: Reformat using isort.
2021-06-02 18:45:57 -07:00
Anders Kaseorg
2f6623bbc4
cleanup: Remove unused imports.
...
Generated by autoflake.
Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
2020-04-18 20:31:14 -07:00
Anders Kaseorg
524d03fc3e
deploy: Fix urllib.parse import.
...
Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
2020-04-18 20:31:14 -07:00
Anders Kaseorg
e30b3b094b
Modernize legacy Python 2 syntax with pyupgrade.
...
Generated by `pyupgrade --py3-plus --keep-percent-format` followed by
manual indentation fixes.
Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
2020-04-18 15:04:36 -07:00
rht
204871b518
Finish the remaining migration of shebang to python3.
2020-04-03 08:18:08 -04:00
Rohitt Vashishtha
a4b32a4dc8
tools/deploy: Read $SERVER and $TOKEN environment variables.
...
This simplifies the usage of the script by eliminating the need to
pass --server=$SERVER and --token=$TOKEN in each call to the script.
Also renames key=>token for consistency.
2018-05-07 12:31:53 +05:30
novokrest
bf9ad09bc2
deploy: Support new JSON-formatted responses from Botfarm.
2018-05-07 10:29:09 +05:30
Novokreshchenov Konstantin
dcd4c4a96e
deploy: Add tools/deploy ls command.
...
Displays bot's name, status, email and site. Add `--format` to
pretty-print the list of bots.
2018-05-03 03:34:00 +05:30
novokrest
42c474d273
deploy: Add tools/deploy delete command.
2018-05-02 23:27:43 +05:30
Anupam-dagar
345666ca58
tools/deploy: Add command to receive logs for the specified bot.
2018-04-20 04:57:39 +05:30
Shivam Gera
401674016c
mypy: Annotate tools/deploy using mypy
2018-03-25 18:03:03 -04: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
