3 Commits

Author	SHA1	Message	Date
Greg Price	e1ce3daaff	scripts/upgrade-zulip-from-git: Don't cache the repo URL, only the contents ... We document the `deployment.git_repo_url` setting in `/etc/zulip/zulip.conf` to control where this script fetches from, and don't say that it's only read on the first such upgrade and cached thereafter. The documented behavior seems like the right behavior. So use the currently configured URL every time, by writing it anew into the config of our cache repo.	2017-06-28 15:49:57 -07:00
Tim Abbott	473c0ee1fe	mypy: Remove now-unused type: ignores.	2017-02-18 17:01:01 -08:00
Tim Abbott	fba93cb494	scripts: rename deploy-zulip-from-git to reference upgrading.	2016-08-25 10:48:59 -07:00