diff -r 3bafb6f5b7f7 -r 151ebf102b92 web/common.php
--- a/web/common.php	Tue May 15 15:59:58 2012 +0200
+++ b/web/common.php	Wed May 16 12:38:49 2012 +0200
@@ -13,7 +13,7 @@
 /**
 * Base configuration
 */
-$C_default_rep = '2011-2012-museo-interfaces';
+$C_default_rep = 'jenkins';
 $C_feedback_form_url = 'https://spreadsheets.google.com/spreadsheet/viewform?hl=en_US&formkey=dDZILVdXVHRzd0xhWGVZXzkweHN2RGc6MQ#gid=0';
 
 $archives_list = array(