docs: Remove Vagrant docs zulip-devel recommendation.

Nobody has actually gone to the email list in like 2 years, and we
just renamed it to be an announcement list.
This commit is contained in:
Tim Abbott 2019-05-20 15:36:10 -07:00
parent a15d85e7c4
commit 7042965102
1 changed files with 8 additions and 11 deletions

View File

@ -21,14 +21,13 @@ Contents:
* [Customizing CPU and RAM allocation](#customizing-cpu-and-ram-allocation) * [Customizing CPU and RAM allocation](#customizing-cpu-and-ram-allocation)
**If you encounter errors installing the Zulip development **If you encounter errors installing the Zulip development
environment,** check environment,** check [Troubleshooting and Common
[Troubleshooting and Common Errors](#troubleshooting-and-common-errors). If Errors](#troubleshooting-and-common-errors). If that doesn't help,
that doesn't help, please visit please visit [#provision
[#provision help](https://chat.zulip.org/#narrow/stream/21-provision-help) help](https://chat.zulip.org/#narrow/stream/21-provision-help) in the
in the [Zulip development community server](../contributing/chat-zulip-org.html) for [Zulip development community
real-time help, send a note to the server](../contributing/chat-zulip-org.html) for real-time help or
[Zulip-devel Google group](https://groups.google.com/forum/#!forum/zulip-devel) [file an issue](https://github.com/zulip/zulip/issues).
or [file an issue](https://github.com/zulip/zulip/issues).
When reporting your issue, please include the following information: When reporting your issue, please include the following information:
@ -616,9 +615,7 @@ If these solutions aren't working for you or you encounter an issue not
documented below, there are a few ways to get further help: documented below, there are a few ways to get further help:
* Ask in [#provision help](https://chat.zulip.org/#narrow/stream/21-provision-help) * Ask in [#provision help](https://chat.zulip.org/#narrow/stream/21-provision-help)
in the [Zulip development community server](../contributing/chat-zulip-org.html), in the [Zulip development community server](../contributing/chat-zulip-org.html).
* send a note to the [Zulip-devel Google
group](https://groups.google.com/forum/#!forum/zulip-devel), or
* [File an issue](https://github.com/zulip/zulip/issues). * [File an issue](https://github.com/zulip/zulip/issues).
When reporting your issue, please include the following information: When reporting your issue, please include the following information: