summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorintrigeri <intrigeri@boum.org>2016-11-27 15:40:04 +0000
committerintrigeri <intrigeri@boum.org>2016-11-27 15:40:04 +0000
commit14958e2c9ff06a2340fabdd74ea916f39cf4ea4a (patch)
tree22d41b3bffcabdc437dfc383868791e5b3bc31fe
parent10c17af85dd9d8ac1b7a520ae6bb4cdfabf3b6c7 (diff)
Add CI tests to our reviewing guidelines.
refs: https://mailman.boum.org/pipermail/tails-dev/2016-November/011034.html
-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.