commit c16764a4a9fa0e8e46c6d537af5097b833a53cf0
author Philipp Wagner <phw@lowrisc.org> Tue Oct 06 16:06:04 2020 +0100
committer Sam Elliott <sam@lenary.co.uk> Tue Oct 06 17:19:25 2020 +0100
tree 48ffbdf784bb9839c2cc1e7ff01e9a53ab0fc053
parent 46d048e4ff81468940e3136f836e08c0557e95a0

Use GitHub upstream git for Verilator

Verilator has moved to GitHub, use the new upstream for a more reliable
git clone experience.

Signed-off-by: Philipp Wagner <phw@lowrisc.org>

doc/ug/install_instructions/index.md

diff --git a/doc/ug/install_instructions/index.md b/doc/ug/install_instructions/index.md
index edb5e11..b9df596 100644
--- a/doc/ug/install_instructions/index.md
+++ b/doc/ug/install_instructions/index.md
@@ -172,7 +172,7 @@
 ```console
 $ export VERILATOR_VERSION={{< tool_version "verilator" >}}
 
-$ git clone http://git.veripool.org/git/verilator
+$ git clone https://github.com/verilator/verilator.git
 $ cd verilator
 $ git checkout v$VERILATOR_VERSION