link to jenkins docs authored by anarcat's avatar anarcat
......@@ -5,7 +5,7 @@ the version control system (currently [git](howto/git)).
Note that even though the current system is [Jenkins][], this page mostly documents GitLab
CI as that will be the likely, long term replacement.
[Jenkins]: https://jenkins.torproject.org
[Jenkins]: service/jenkins
[[_TOC_]]
......
......