We would indeed be running gitorious for Thomas, so that he could administer the users / ssh keys allowed to push to such-and-such branches himself.
So does that mean only specific people can use the interface?
cor
List info: http://lists.roundcube.net/dev/ BT/aba52c80