(the way I understand it, the /libraries/ folder is an historical
artifact, and should have been obsolete for a couple of years by now --
so the new gitolite setup won't support the /libraries/ alias anymore)
...is there any reason you can think of, I should not perform
this modification to the .gitmodules file?