So, just to focus on something else, I upgraded all the software on the server. In the process, I also switched to viewgit to publish my repository on the web.While doing it, I also find the time to send a patch to the viewgit author to be able to exclude some repositries when using the directive ‘projects_glob’. This is usefull if you want to exclude just some repositories in a long list (the basic idea of using the ‘projects_glob’ option) for some reason.
Well, the patch was accepted and merged (on the second try, the first one I used an approach the author does not like), so I am glad to see that I still know how to code with php 
