summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--wiki/src/contribute/merge_policy/review.mdwn2
1 files changed, 2 insertions, 0 deletions
diff --git a/wiki/src/contribute/merge_policy/review.mdwn b/wiki/src/contribute/merge_policy/review.mdwn
index 3229112..be8fd29 100644
--- a/wiki/src/contribute/merge_policy/review.mdwn
+++ b/wiki/src/contribute/merge_policy/review.mdwn
@@ -8,6 +8,8 @@
topic branch into, as specified in `config/base_branch` and in the
pull request -- they must match) into the topic branch.
- Build the topic branch and test the feature.
+- Check automated ISO build and test results on
+ <https://jenkins.tails.boum.org/>.
- Check the diff e.g. with `git log -p`. Beware of changes introduced
by merge commits: either add the `--cc` option to `git log`, or use
`git diff` after reviewing the individual patches.