exclude gitolite-admin from the permissions admin panel
note: this should be configurable!