4 commits

Author	SHA1	Message	Date
Reid Barton	3dda07bad0	bots: Move zephyr-related files to api/integrations/zephyr/.	2017-05-26 15:07:02 -07:00
Tim Abbott	576c6f51f0	zmirror-renew-kerberos: Clean up hardcoding of user ID.	2017-05-10 11:52:34 -07:00
Tim Abbott	46a74271ea	[manual] Rename /home/humbug to /home/zulip. ... This may require just doing an mv on the home directory, plus changing the home directory in /etc/passwd. It should of course be done carefully. (imported from commit 660997d897ee6d33563af74f0fc5d4267a911755)	2013-10-08 08:57:29 -04:00
Tim Abbott	a47b0e54c3	zephyr_mirror: Renew kerberos tickets when starting up class mirror. ... (imported from commit 34b0a78558c6f20043efe986a16064387f36f1c0)	2013-08-20 15:27:24 -04:00