Decide if Jenkins should test our documentation branches
During the first stage of deployment, some of us raised the question
about deciding if we want our doc/ and web/ branches to be tested in
Jenkins. There are pros and cons and we need to decide something about
that, and the way we would implement it.
See https://mailman.boum.org/pipermail/tails-dev/2015-October/009645.html
Parent Task: #10153 (closed)
Related issues
- Related to #9760
- Related to #10707 (closed)
- Blocks #10706 (closed)
Original created by @bertagaz on 10492 (Redmine)