diff -r 6d65ba69be60 -r dfcbb21a8eac web/common.php
--- a/web/common.php	Thu May 24 21:27:06 2012 +0200
+++ b/web/common.php	Mon Jun 04 17:04:53 2012 +0200
@@ -13,7 +13,7 @@
 /**
 * Base configuration
 */
-$C_default_rep = 'jenkins';
+$C_default_rep = 'fens2012';
 $C_feedback_form_url = 'https://spreadsheets.google.com/spreadsheet/viewform?hl=en_US&formkey=dDZILVdXVHRzd0xhWGVZXzkweHN2RGc6MQ#gid=0';
 
 $archives_list = array(