use main repo

scripts/configure_Rprofile.sh

@@ -2,8 +2,7 @@
 set -e
 
 R_HOME=${R_HOME:-"/usr/local/lib/R"}
-DEFAULT_MIRRORS='"https://pbil.univ-lyon1.fr/CRAN/", "https://mirror.ibcp.fr/pub/CRAN/", "https://cran.biotools.fr/", "https://cran.irsn.fr/", "https://cran.r-project.org"'
-MIRRORS='"https://cran.r-project.org"' 
+DEFAULT_MIRRORS='"https://cran.r-project.org"' 
 
 cat <<EOF >"${R_HOME}/etc/Rprofile.site"
 options(