12 Commits

Author	SHA1	Message	Date
Vishnu Ks	b73603a97c	droplets: Do shutdown command along with clear history. ... Otherwise shutdown command would be still present in the history.	2018-05-14 08:12:43 -07:00
Vishnu Ks	49b3cb9da5	droplets: Remove the step to activate virtualenv manually. ... I didn't had to activate this manually during the last few droplet upgrades.	2018-05-07 08:42:18 -07:00
Vishnu Ks	c684333051	droplets: Fix the command for clearing bash history. ... history -c only clears the history from memory and would be populated back during the next SSH session.	2018-05-07 08:42:18 -07:00
Tommy Ip	2d7536bf05	Document the add_mentor.py tool.	2017-11-28 13:26:59 -08:00
Vishnu Ks	87a412a992	droplets: Fix broken link for requesting droplets.	2017-11-28 08:53:52 -08:00
Vishnu Ks	73ee9a4ad8	droplets: Update info on recreating the droplets.	2017-11-28 08:53:52 -08:00
Tim Abbott	6f53d65e56	docs: Update a few broken links to the Git guide.	2017-11-23 16:24:00 -08:00
Vishnu Ks	def573cde3	remotedev: Add option to recreate droplets.	2017-11-23 11:09:30 -08:00
Tim Abbott	e81b64d511	docs: Move remotedev docs to docs/development/ and fix links. ... Thanks to SivagiriVisakan for pointing out the issues here; I ended up redoing this since the doc really belongs in that directory.	2017-11-20 11:13:59 -08:00
Tim Abbott	638eb7a8e4	docs: Update links to ReadTheDocs to always use https. ... This is better security practice. We also add a lint rule to enforce this for the future.	2017-11-16 10:59:24 -08:00
Tim Abbott	054952a44a	docs: Update links from codebase to point to ReadTheDocs.	2017-11-16 10:53:49 -08:00
Rishi Gupta	dec4b9ed93	remote dev: Add code and instructions for creating digital ocean droplets. ... Mostly copied from the zulip/zulip-gci repository, but with some changes to wordings and code cleanup for linters.	2017-11-06 12:20:39 -08:00