Commit 066f9a95 authored by intrigeri's avatar intrigeri

Contributors documentation: add link to Jenkins documentation

That doc is a mix of design notes for sysadmins and usage doc for developers.
Its current location makes sense for the former, but not so much for the latter,
which makes it hard to find for developers: I regularly point developers to this
doc, as they apparently could not find it by themselves.

This should be restructured at some point, but in the meantime,
let's at least have a link from /contribute to that doc.
parent 0605ed48
......@@ -140,6 +140,7 @@ Tools for contributors
- [[Build a local copy of the website|contribute/build/website]]
- [[Customize Tails|contribute/customize]]
- [Nightly ISO builds](
- [[Jenkins CI|contribute/working_together/roles/sysadmins/Jenkins]]
- Debian packages
- [[APT repository|contribute/APT_repository]], to store our custom Debian packages
- How we manage and upgrade the [[Linux kernel|contribute/Linux_kernel]].
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment