Hello, using Horde/Chora HEAD. I have (currently) two repository entries in my sourceroots.php I would like to know if there is some way to set permission on them. E.g. (Horde) user A can see repository 1, but not 2 and user B can see rep. 1, but not 2. Greetings, Jens