# HG changeset patch
# User Raphael Velt <raph.velt@gmail.com>
# Date 1337887594 -7200
# Node ID 09c34c6488836b6357dbee824979b593f2fc3339
# Parent  a31806c4473e38fc659cebe662cc45ee34cde81c
switch to Jenkins

diff -r a31806c4473e -r 09c34c648883 web/common.php
--- a/web/common.php	Thu May 24 18:32:40 2012 +0200
+++ b/web/common.php	Thu May 24 21:26:34 2012 +0200
@@ -13,7 +13,7 @@
 /**
 * Base configuration
 */
-$C_default_rep = 'edito-arts-numeriques';
+$C_default_rep = 'jenkins';
 $C_feedback_form_url = 'https://spreadsheets.google.com/spreadsheet/viewform?hl=en_US&formkey=dDZILVdXVHRzd0xhWGVZXzkweHN2RGc6MQ#gid=0';
 
 $archives_list = array(